hevm: add chainid option in SymExec.hs

dapphub · Jul 22, 2020 · 8e1980f · 8e1980f
1 parent f1c3faa
commit 8e1980f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/hevm/hevm-cli/hevm-cli.hs b/src/hevm/hevm-cli/hevm-cli.hs
@@ -725,7 +725,6 @@ symvmFromCommand cmd = do
       }
     word f def = fromMaybe def (f cmd)
     addr f def = fromMaybe def (f cmd)
->>>>>>> 9c392c9a... move equivalence checking out to symbolic, more customization options for symexec cli endpoint
 
 launchTest :: Command Options.Unwrapped ->  IO ()
 launchTest cmd = do

diff --git a/src/hevm/src/EVM/SymExec.hs b/src/hevm/src/EVM/SymExec.hs
@@ -123,6 +123,7 @@ loadSymVM x initStore addr callvalue' calldata' =
     , vmoptGaslimit = 0xffffffffffffffff
     , vmoptMaxCodeSize = 0xffffffff
     , vmoptSchedule = FeeSchedule.istanbul
+    , vmoptChainId = 1
     , vmoptCreate = False
     }) & set (env . contracts . at (createAddress ethrunAddress 1))
              (Just (contractWithStore x initStore))