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)