Add config argument to toggle assertion tests on variables
Open
enhancement
- Dominant language
- Haskell
- Stars
- 3.2k
- Forks
- 432
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 5
Description
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.
Contributor guide
Assessment
This issue has not been assessed yet.