Change storage to concrete in symexec

crytic · Jun 14, 2023 · 99d1c9b · 99d1c9b
1 parent 94f063a
commit 99d1c9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Echidna/SymExec.hs b/lib/Echidna/SymExec.hs
@@ -30,7 +30,7 @@ exploreContract dst contract = do
     forM methods $ \method -> do
       let
         calldata = mkCalldata (Just (Sig method.methodSignature (snd <$> method.inputs))) []
-        vmSym = abstractVM calldata contract.runtimeCode Nothing AbstractStore
+        vmSym = abstractVM calldata contract.runtimeCode Nothing (ConcreteStore mempty)
         maxIter = Just 10
         askSmtIters = Just 5
         rpcInfo = Nothing