github crytic/echidna v2.3.2

3 hours ago

What's Changed

  • Support for Foundry tests has been improved #1499 (thanks @BowTiedRadone and @gustavo-grieco!)
  • Foundry reproducers are now generated when using property mode as well #1546 (thanks @gustavo-grieco)
  • Errors are now shown when using optimization and property mode with invalid function definitions #1536 (thanks @gustavo-grieco)
  • Echidna now shrinks when a test was interrupted #1535 (thanks @gustavo-grieco)
  • Etherscan backend now supports displaying coverage on contracts with multiple files #1520
  • Coverage tracking for contracts with immutables and contracts that deploy other contracts has been improved #1506
  • Maximum block and timestamp delays can now be set to zero #1541
  • hevm has been updated to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 (full changelog: argotorg/hevm@5ec2254...8da7ea4)
    • this hevm version includes support for vm.etch(), the CLZ opcode as well as other Osaka changes.

Full Changelog: v2.3.1...v2.3.2

Don't miss a new echidna release

NewReleases is sending notifications on new releases.