Slither prop test keeps failing because of truffle
Open
good first issue
help wanted
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No 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
Assessment
This issue has not been assessed yet.