From 99d1c9bfbe2152f75763a7a6ea6c205faa6a9701 Mon Sep 17 00:00:00 2001
From: Artur Cygan <artur.cygan@trailofbits.com>
Date: Wed, 14 Jun 2023 20:12:34 +0200
Subject: [PATCH] Change storage to concrete in symexec

---
 lib/Echidna/SymExec.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/SymExec.hs b/lib/Echidna/SymExec.hs
index 98c038b01..afa71a765 100644
--- 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