Feature request: Console.log

[curiosi-T]

Afaik there is no possibility in Echidna to console log something in case the test failed, right?
Would be helpful to have console.log capability similar to Foundry's one.

thanks!

[gustavo-grieco]

Hi!

In case of a test failing, Echidna will record and show all the EVM events in the transaction that trigger the issue. What is exactly what you need?

[curiosi-T]

Hi,
when tests fail you only get the call sequence - but no information on which assert it failed, content of state variables, etc.
Would just be very helpful to console log the variables you want to investigate when test fail (e.g. when I write fuzz tests in Foundry I use console.log quite frequently).

[gustavo-grieco]

I think this can be done, in particular if this is already standard between different compilation framewroks (e.g. hardhat, foundry, etc).

[gustavo-grieco]

This is coming as soon it is merged by hevm: argotorg/hevm#1050