Add events into JSON output (#1069)

crytic · Jun 7, 2023 · b43ecf7 · b43ecf7
1 parent 70a1c6c
commit b43ecf7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/Echidna/Output/JSON.hs b/lib/Echidna/Output/JSON.hs
@@ -16,6 +16,7 @@ import Numeric (showHex)
 import EVM.Types (keccak')
 
 import Echidna.ABI (ppAbiValue, GenDict(..))
+import Echidna.Events (Events)
 import Echidna.Types (Gas)
 import Echidna.Types.Campaign (WorkerState(..))
 import Echidna.Types.Config (Env(..))
@@ -48,6 +49,7 @@ data Test = Test
   , name :: Text
   , status :: TestStatus
   , _error :: Maybe String
+  , events :: Events
   , testType :: TestType
   , transactions :: Maybe [Transaction]
   }
@@ -58,6 +60,7 @@ instance ToJSON Test where
     , "name" .= name
     , "status" .= status
     , "error" .= _error
+    , "events" .= events
     , "type" .= testType
     , "transactions" .= transactions
     ]
@@ -118,6 +121,7 @@ mapTest test =
     , name = "name" -- TODO add a proper name here
     , status = status
     , _error = err
+    , events = test.events
     , testType = Property
     , transactions = transactions
     }