Skip to content

Echidna 1.6.1
Compare
Choose a tag to compare
@ggrieco-tob ggrieco-tob released this 02 Feb 12:36
· 419 commits to master since this release
v1.6.1
c8d2966
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.6.1 is a minor release that, most importantly, allows using compiler metadata to detect which contracts are deployed, avoiding any issues when the bytecode modifies its own code (e.g., when they use the immutable keyword). This release also contains performance optimizations when executing properties, speeding up the testing when the EVM reverts, and lets users be more precise when whitelisting or blacklisting functions by specifying the full contract name and ABI.

The Echidna team would also like to thank @elopez and @KurogeWashu for their fixes submitted as PRs.

Fixed

  • Use a sensible default value for block.gaslimit (#596)
  • Use metadata to detect deployed contracts (#593)
  • Fixed wait bug when shrinking (#584)
  • Small fixes in the macOS CI (#597), the README (#590) and Nix scripts (#581)

Added

  • Semver integration for improving testing with different solc versions (#594)
  • Added some performance improvement in property execution (#576)
  • Added funwithnumbers example from Sabre (#565)
  • Improved function filtering to be more precise (#570) [BREAKING CHANGE]
Assets 6
Loading