Skip to content

Echidna 2.1.1

Compare
Choose a tag to compare
@ggrieco-tob ggrieco-tob released this 05 Apr 15:51
· 108 commits to master since this release
1a32fde

This is a release focused on fixes and minor features. User facing changes include:

  • Optimized the memory usage during the fuzzing campaign.
  • Added initial compatibility with invariant mode from Foundry.
  • Added additional information on how Echidna spend time during startup.
  • Fixed several small rare crashes.

This release also include a number of refactoring changes to make the code easier to improve in future.

Added

  • Added missing space in ProcessorNotFound message (#977)
  • Added measurement and log of external actions (#988)
  • Avoid using cheat code address to form fuzzing call sequences (#993)
  • Implemented invariant testing from foundry (#989)

Changed