Upgrade hevm to latest echidna-patches commit (#1243)

flake.nix

@@ -49,10 +49,10 @@
 
         hevm = pkgs: pkgs.haskell.lib.dontCheck (
           pkgs.haskellPackages.callCabal2nix "hevm" (pkgs.fetchFromGitHub {
-            owner = "ethereum";
+            owner = "trail-of-forks";
             repo = "hevm";
-            rev = "release/0.53.0";
-            sha256 = "sha256-/B+McCJBcIxYCmYMcJ5FiwMqPeSCL97WbNusabTUb34=";
+            rev = "2aa7b3e5fea0e0657fe44549ccefbb18f61eb024";
+            sha256 = "sha256-/9NMvSOzP0agJ1qEFDN/OQvV0DXRTN3AbntTAzPXbCw=";
         }) { secp256k1 = pkgs.secp256k1; });
 
         # FIXME: figure out solc situation, it conflicts with the one from

lib/Echidna/Events.hs

@@ -36,7 +36,7 @@ extractEvents decodeErrors dappInfo vm =
      ++ concatMap ((catMaybes . flatten) . fmap showTrace) forest
   where
   showTrace trace =
-    let ?context = DappContext { info = dappInfo, env = vm.env.contracts } in
+    let ?context = DappContext { info = dappInfo, contracts = vm.env.contracts, labels = vm.labels } in
     let codehash' = fromJust $ maybeLitWord trace.contract.codehash
         maybeContractName = maybeContractNameFromCodeHash dappInfo codehash'
     in case trace.tracedata of

lib/Echidna/SymExec.hs

@@ -131,6 +131,7 @@ vmMakeSymbolic vm
   , config         = vm.config
   , forks          = vm.forks
   , currentFork    = vm.currentFork
+  , labels         = vm.labels
   }
 
 frameStateMakeSymbolic :: FrameState Concrete s -> FrameState Symbolic s

stack.yaml

@@ -4,8 +4,8 @@ packages:
 - '.'
 
 extra-deps:
-- git: https://github.com/samalws-tob/hevm.git
-  commit: 0a2a7f24303a727b0e65ad2bb3a33ffe4d780a7d
+- git: https://github.com/trail-of-forks/hevm.git
+  commit: 2aa7b3e5fea0e0657fe44549ccefbb18f61eb024
 
 - restless-git-0.7@sha256:346a5775a586f07ecb291036a8d3016c3484ccdc188b574bcdec0a82c12db293,968
 - s-cargot-0.1.4.0@sha256:61ea1833fbb4c80d93577144870e449d2007d311c34d74252850bb48aa8c31fb,3525