print bytes32 values as hex

crytic · Sep 15, 2023 · 298f954 · 298f954
1 parent 31c187b
commit 298f954
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/Echidna/ABI.hs b/lib/Echidna/ABI.hs
@@ -71,6 +71,7 @@ ppAbiValue = \case
   AbiInt  _ n         -> show n
   AbiAddress n        -> "0x" <> showHex n ""
   AbiBool b           -> if b then "true" else "false"
+  AbiBytes 32 b       -> "0x" <> BS.foldr showHex "" b
   AbiBytes _ b        -> show b
   AbiBytesDynamic b   -> show b
   AbiString s         -> show s