Skip to content

Echidna 1.7.2

Choose a tag to compare

View all tags
@gustavo-grieco gustavo-grieco released this 12 Jul 15:39
· 641 commits to master since this release
v1.7.2
30e9e5e
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.2 is a minor release that brings a variety of fixes and small improvements, including improved command-line options and fixes when using hardhat/brownie to test contracts. It relies on hevm 0.46 for the EVM emulation. This release requires to use crytic-compile 0.2.0 or later but otherwise contains no breaking changes.

Fixed

  • Fixed check-asserts and multi-abi cli switches (#665)
  • Support for loading multiple files with compiled contracts from hardhat/brownie (#659)

Refactored

  • Updated to hevm 0.4.6 (#660)
Assets 6
Loading