Upgrade `hevm` to upstream `main` - Githubissues

crytic / echidna

Ethereum smart contract fuzzer

https://secure-contracts.com/program-analysis/echidna/index.html

GNU Affero General Public License v3.0

2.76k stars 370 forks source link

Upgrade `hevm` to upstream `main` #1323

Open elopez opened 3 weeks ago

elopez commented 3 weeks ago

Commit dbb014ff7eb84dcfbdd6c278050d59dfe39ef5d0

Changelog: https://github.com/ethereum/hevm/compare/f1f45d3c0d9767a38df04f398d1eab8b66dbe7fc...dbb014ff7eb84dcfbdd6c278050d59dfe39ef5d0