Skip to content

Echidna 2.3.1

Latest
Latest

Choose a tag to compare

View all tags
@elopez elopez released this 16 Jan 17:45
v2.3.1
cde590f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Fixes for Foundry reproducer test generation in #1484 and #1514
    (thanks @BowTiedRadone and @gustavo-grieco!)
  • A fix for SSE, which used to get stuck at the end of the execution by @gustavo-grieco in #1493
  • A fix for gas underreporting on reverted transactions in #1503
  • Improvements in onchain coverage reports, including Sourcify support as an alternative to Etherscan in #1504, #1511
    • This also introduces a new boolean option disableOnchainSources and CLI flag --disable-onchain-sources to turn off onchain coverage report generation.
  • A quality of life improvement in FFI support; now commands that output an extra newline are supported as well in #1507
  • An updated hevm (release/0.57.0) in #1515
  • Newer nixpkgs and compilation fixes for GHC 9.10 in #1500, #1501

Full Changelog: v2.3.0...v2.3.1

Contributors

gustavo-grieco and BowTiedRadone
Assets 11
Loading