crytic/slither

Slither prop test keeps failing because of truffle

Open

#993 opened on Dec 8, 2021

 (0 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
good first issuehelp wanted

Repository metrics

Stars
 (4,769 stars)
PR merge metrics
 (Avg merge 54d 9h) (2 merged PRs in 30d)

Description

https://github.com/crytic/slither/blob/master/scripts/ci_test_prop.sh

Maybe we could push the compilation artifacts so that we can run slither without running truffle

Contributor guide