From 9ff20553b49736f9aa64fe51b3f89746d7676c60 Mon Sep 17 00:00:00 2001
From: zoep <zoe.paraskevopoulou@gmail.com>
Date: Wed, 6 Mar 2024 18:51:03 +0200
Subject: [PATCH] wip

---
 flake.lock            | 6 +++---
 src/Act/HEVM.hs       | 2 +-
 src/Act/HEVM_utils.hs | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 61ceba1e..1ff02305 100644
--- a/flake.lock
+++ b/flake.lock
@@ -197,11 +197,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1709740916,
-        "narHash": "sha256-3BEShD4/CXqr/SB/dAh0c29jVDab7IQbD0k69a0rQio=",
+        "lastModified": 1709641832,
+        "narHash": "sha256-bzzRc3DiV8Cm/67HDa39pyBymqF45ISgUbXqjrMk2UE=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "afb6024584f130076d00eac4808a2db3be857a13",
+        "rev": "bfa8b30043892dc2b660d403faa159bab7b65898",
         "type": "github"
       },
       "original": {
diff --git a/src/Act/HEVM.hs b/src/Act/HEVM.hs
index c258f308..4456c77b 100644
--- 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
index fa17f966..ed37eb55 100644
--- 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