Skip to content

Echidna 1.6.0
Compare
Choose a tag to compare
@ggrieco-tob ggrieco-tob released this 23 Nov 17:57
· 407 commits to master since this release
v1.6.0
050e47d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Echidna 1.6.0 introduces integration with Slither, now a required dependency for Echidna to function properly. Slither can help Echidna understand the structure of Solidity contracts which we use to explore more interesting code paths. This release also updates hevm to version 0.42, improves shrinking and pretty-printing of results, and includes a variety of bugfixes and refactoring. Finally, the Echidna team would also like to thank @elopez, @erivas, and @bingen for their work on squashing some annoying issues.

Added

  • Remove code size restriction (disable EIP-170) by default. Users can restore it using the codeSize config (#544)
  • Improved shrinking and pretty printing (#518)
  • Integrate slither results (#451) [BREAKING CHANGE]
  • HEVM updated to 150dddc67b6cbad75fd4ae5a689452892f55ea26 (#511)
  • Make stack limit exceeded a revert (#517)
  • Various Github Actions improvements (#527, #554)

Fixed

  • Made sure that gets mapped correctly, fixing #474 (#503)
  • Fix library timestamp/block delay issue (#510)
  • Make large constants work better with dictionaries (#523)
  • Fix "flanky" corpus tests (#537)
  • Fix negative address bug (#552)

Refactored

  • Reorganized MonadState and MonadReader (#545, #513)
  • Multiple code simplification (#548, #549, #513)
  • Add some default transaction constants (#532)
Assets 6
Loading