wip

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

Hide file tree

Showing 3 changed files with 27 additions and 27 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     flake-utils.url = "github:numtide/flake-utils";
     nixpkgs.url = "github:nixos/nixpkgs";
     hevmUpstream = {
-      url = "github:ethereum/hevm/d050cee6c4c779bbb10f4463dfa7ad16eb99f955";	
+      url = "github:ethereum/hevm/9eb9950cb5faf2dcfcd1a6d2ef4ed4a86958b720";	
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };

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 2"
+  traceM "Check constract test 7"
   mapM_ (\(_, (contract, initcode, bytecode)) -> do
             showMsg $ "\x1b[1mChecking contract \x1b[4m" <> nameOfContract contract <> "\x1b[m"
             -- Constructor check