search

crytic / echidna

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

Upgrade hevm to latest `echidna-patches` commit #1243

Closed elopez closed 2 months ago