ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
223 stars 45 forks source link

Implement label cheatcode #468

Closed arcz closed 5 months ago

arcz commented 5 months ago

Description

Closes https://github.com/ethereum/hevm/issues/442.

I did a bit more work and fixed bugs in this PR too:

Here is how it looks like (the code doesn't make sense, it was just for my testing): image

Checklist

msooseth commented 5 months ago

Thanks, looks great!