hevm: add chainid option in SymExec.hs

Author: MrChico

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

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))