crytic / crytic/building-secure-contracts
Show how to use slither-flat with Echidna
Open
documentation
Echidna
- Dominant language
- Solidity
- Stars
- 2.5k
- Forks
- 391
- PR merge metrics
- No merged PRs in 30d
Description
`slither-flat` can be useful, in particular through the conversion of `external` to `public`. We need a walkthrough example.
Contributor guide
Assessment
This issue has not been assessed yet.