Skip to content

Echidna 1.7.1
Compare
Choose a tag to compare
@ggrieco-tob ggrieco-tob released this 07 May 15:48
· 392 commits to master since this release
v1.7.1
89d9439
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

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)

Refactored

  • Refactored shrinkSeq to improve readability (#639)
  • Refactored Test type (#622)
  • Refactored coverage types and added corpus size in UI (#627)
Assets 6
Loading