wip

ethereum · Mar 6, 2024 · 9ff2055 · 9ff2055
1 parent cfb2422
commit 9ff2055
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/src/Act/HEVM.hs b/src/Act/HEVM.hs
@@ -714,7 +714,7 @@ checkAbi solver contract cmap = do
 
 checkContracts :: App m => SolverGroup -> Store -> M.Map Id (Contract, BS.ByteString, BS.ByteString) -> m ()
 checkContracts solvers store codemap = do
-  traceM "Check constract test 7"
+  traceM "Check constract test 10"
   mapM_ (\(_, (contract, initcode, bytecode)) -> do
             showMsg $ "\x1b[1mChecking contract \x1b[4m" <> nameOfContract contract <> "\x1b[m"
             -- Constructor check

diff --git a/src/Act/HEVM_utils.hs b/src/Act/HEVM_utils.hs
@@ -58,7 +58,7 @@ defaultActConfig = Config
   , dumpTrace = False
   , numCexFuzz = 10
   , onlyCexFuzz = False
-  -- , decomposeStorage = False
+  , decomposeStorage = False
   }
 
 debugActConfig :: Config