search

crytic / echidna

Ethereum smart contract fuzzer
GNU Affero General Public License v3.0
2.65k stars 346 forks source link

Improved shrinking removing reverts from reproducers #1250

Closed ggrieco-tob closed 1 month ago