Echidna 1.7.1 is a minor release that brings a variety of fixes and small improvements, including better mutations, two new command-line options, --corpus-dir and --check-asserts, correct initialization of new addresses and extended notion of coverage to include EVM frames. This release contains no breaking changes.
Added
- Documented known issues and limitations (#655)
- Improved coverage to count number of EVM frames (#624)
- Added two CLI options: --corpus-dir and --check-asserts (#640)
Fixed
- Tweaked mutators and improved test stability (#628)
- Automatically initialize addresses when used (#657)
- Avoid mutations to generate inputs outside their expected ABI range (#650)
- Various small fixes to run Vyper contracts (#645)
- Fixed link to macOS binary in binaries.soliditylang.org (#629)
- Fixed UI to fit long function calls (#635)
- Fixed default.nix to use 1.7.0 as version (#623)