Add config argument to toggle assertion tests on variables

Open 0xicingdeath opened this issue 3 years ago • 3 comments

By default, Echidna will try to fuzz the public variables in the contract. It would be nice to be able to turn off these assertions.

Dec 30 '22 16:12 0xicingdeath

Under normal circumstances, Echidna will call view/pure variables with a low probability which should not slow the the rest of the campaign. What is the use case of never calling these?

Jan 03 '23 11:01 gustavo-grieco

Sorry, realized I forgot to respond to this – it impedes exploration while fuzzing a huge codebase

Jan 22 '24 19:01 0xicingdeath

It is also cleaner in the UI to be able to remove unwanted/useless fuzz tests.

At the moment I work around this by making variables internal as much as possible :slightly_smiling_face:

Jan 27 '24 17:01 rappie