From 206f20ac1b7850de164a7a65a8cc052106b67322 Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Thu, 15 Jun 2023 10:51:39 +0200 Subject: [PATCH] collect and show the events from all the transactions --- lib/Echidna/Exec.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs index 0012976aa..b881788e3 100644 --- a/lib/Echidna/Exec.hs +++ b/lib/Echidna/Exec.hs @@ -28,7 +28,6 @@ import EVM.Exec (exec, vmForEthrunCreation) import EVM.Fetch qualified import EVM.Types (Expr(ConcreteBuf, Lit), hexText) -import Echidna.Events (emptyEvents) import Echidna.RPC (safeFetchContractFrom, safeFetchSlotFrom) import Echidna.Transaction import Echidna.Types (ExecException(..), Gas, fromEVM, emptyAccount) @@ -86,7 +85,6 @@ execTxWith l onErr executeTx tx = do if hasSelfdestructed vm tx.dst then pure (VMFailure (Revert (ConcreteBuf "")), 0) else do - l % #traces .= emptyEvents vmBeforeTx <- use l l %= execState (setupTx tx) gasLeftBeforeTx <- use $ l % #state % #gas