Allow Configurable Verbosity

crytic / echidna

Ethereum smart contract fuzzer

GNU Affero General Public License v3.0

2.65k stars 346 forks source link

Allow Configurable Verbosity #1254

Open DanielGelfand opened 2 months ago

DanielGelfand commented 2 months ago

Describe the desired feature

Currently the entire call trace is displayed when a counterexample is encountered. Allow for configurable verbosity as in Foundry: -vv, -vvv, etc.

Allow for a verbosity such that only emitted events are displayed. This will prevent the need to sift through all calls to find the necessary events emitted.

aviggiano commented 2 months ago

I'd love to see that feature, especially since I don't care about the full thrace in some cases.