Correct collection of coverage when there is a delegatecall (#1083)

crytic · Jun 30, 2023 · 8ce9b49 · 8ce9b49
1 parent dcc2387
commit 8ce9b49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
@@ -328,7 +328,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