Closed msooseth closed 1 week ago
This issue: https://github.com/ethereum/hevm/issues/490 seems to be caused by some RPC failure. This PR seems to fix it, although in ways unknown to even me.
I don't know how to check via some test that this is not accidentally broken by a later commit. This PR definitely fixes the bug with:
cabal run exe:hevm -- symbolic --rpc $ETH_RPC_URL --address "0x2A8e1E676Ec238d8A992307B495b45B3fEAa5e86" --assertions '[0x01, 0x11]'
In the sense that RPC doesn't fail any more, which is the point here (symbolic interpretation issues are a different issue). If anyone has an idea how to write a test for this, let me know.
Description
This issue: https://github.com/ethereum/hevm/issues/490 seems to be caused by some RPC failure. This PR seems to fix it, although in ways unknown to even me.
I don't know how to check via some test that this is not accidentally broken by a later commit. This PR definitely fixes the bug with:
In the sense that RPC doesn't fail any more, which is the point here (symbolic interpretation issues are a different issue). If anyone has an idea how to write a test for this, let me know.
Checklist