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
 (PR metrics pending)

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