echidna
echidna copied to clipboard
Use Show AbiValue from hevm instead of ppAbiValue
ppAbiValue is already implemented as Show instance in hevm
https://github.com/dapphub/dapptools/blob/hevm/0.49.0/src/hevm/src/EVM/ABI.hs#L105-L119