delegatecall coverage fix

crytic · Jun 22, 2023 · b88a4c0 · b88a4c0
1 parent 13aac04
commit b88a4c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
@@ -326,7 +326,7 @@ execTxWithCov tx = do
 
       -- | Get the current contract's bytecode metadata
       currentMeta vm = fromMaybe (error "no contract information on coverage") $ do
-        buffer <- vm ^? #env % #contracts % at vm.state.contract % _Just % bytecode
+        buffer <- vm ^? #env % #contracts % at vm.state.codeContract % _Just % bytecode
         let bc = forceBuf buffer
         pure $ lookupBytecodeMetadata cache bc