Artur Cygan

This is fixed https://github.com/crytic/echidna/pull/935.

It's now the default since the coverage optimization changes.

With https://github.com/crytic/echidna/issues/1045, sequences (in JSON format) will be stored right away when a property is falsified instead of waiting until the end. Let's move to #1045 in case any further...

Echidna can now break all the examples mentioned here.

We should also improve the error message to provide help right away

Yes, this is a known issue to be fixed

Can you open an issue in hevm for this?

Tracked in https://github.com/ethereum/hevm/issues/469.

Let's reopen, I'm not sure what can be the cause but we will be updating terminal-related dependencies soon (https://github.com/crytic/echidna/issues/1198) so it might get resolved.

Some examples/screenshots would help here