Echidna 1.7.0 is a major release that brings a few major features:

• Coverage guided-fuzzing enabled by default (no need to use coverage: true)
• New mutators for transactions and arrays to discover even more interesting paths in your code
• Source code integration to collect and visualize coverage (enabled using corpusDir)
• An new approach for end-to-end testing using Etheno, as described in our new tutorial in the building-secure-smart-contracts repository

This release also includes several internal refactorings, fixes in our CI tests and improved Nix support. The Echidna team would also like to thank @elopez for their fixes submitted as PRs.

Added

• Enabled use of coverage by default (#605) [BREAKING CHANGE]
• More corpus and array mutations implemented (#372)
• Source coverage is printed after fuzzing campaign (#516)

Fixed

• Coverage filenames are not overwritten (#620)
• Nix improvements and fixes (#603, #604, #608, #612)

Refactored

• Refactored and improved etheno support to be more useful (#615)
• Refactored the mutator code (#618)
• Run echidna tests in parallel (#571)
• Simplified slither information parsing (#543)