Echidna 2.1.1

[ggrieco-tob]

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 (Add missing space in ProcessorNotFound message #977)
• Added measurement and log of external actions (Measure and log slow external actions #988)
• Avoid using cheat code address to form fuzzing call sequences (Make sure we don't use cheat codes to form fuzzing call sequences #993)
• Implemented invariant testing from foundry (Implemented invariant testing from foundry #989)

Changed

• hevm upgraded to 0.50.4 (hevm 0.50.4 #986)
• Cleaned and improved codebase (Change mapM_ to forM_ to improve readability #990, Remove prefixes from EchidnaTest #994, Remove lens for Campaign #995, Cleanup ABI module #997)
• Make frequently modified fields strict (Make frequently modified fields strict #1000)
• Force corpus evaluation (Force corpus evaluation #1002)
• Improved text/headless UI (Print campaign status in text mode every 3s #991, Show the current values for each optimization test when using the text output #1006, Handle ctrl-c in text mode #1007, Flush stdout every time a new status line is produced #1009)

---

This discussion was created from the release Echidna 2.1.1.