ethereum / hevm

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

cli: fix --initial-storage option for hevm symbolic #509

Closed d-xo closed 3 months ago

d-xo commented 3 months ago

Description

We weren't respect the initial-storage option when creating the initial contract in symVmFromCommand

Checklist

msooseth commented 3 months ago

I just hand-tested this. Would be nice to have a test actually! But merging :)