crytic / echidna

Ethereum smart contract fuzzer

Home Page:https://secure-contracts.com/program-analysis/echidna/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Log shrinking status when running in detached mode

aviggiano opened this issue · comments

Describe the desired feature

When launching Echidna in a "detached mode" (btw, idk what's the official name for that, but I usually do it with | tee /tmp/logs), it is currently not possible to see the current status of the shrinking step.

Screenshot 2024-06-11 at 15 54 38

This is a feature request to display the status of shrinking in addition to failed test cases. It can help security researchers determine when to stop Echidna from running, especially in fast iteration cycles when not an absolutely minimal sequence is necessary.