Respect `--caller` option in `symbolic` mode

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

235 stars 48 forks source link

Respect `--caller` option in `symbolic` mode #526

Closed msooseth closed 2 months ago

msooseth commented 2 months ago

Description

As per #524 --caller was not respected here:

cabal run hevm -- symbolic --caller 0xabab --rpc $ETH_RPC_URL --show-reachable-tree --code $(jq -r '.deployedBytecode.object' tmp2/out/bug.sol/ERC20_2.json

Checklist

[x] tested locally
[ ] added automated tests
[ ] updated the docs
[x] updated the changelog

msooseth commented 2 months ago

Wow, nice!!!