Echidna 2.2.0

Echidna 2.2.0 contains significant improvements to the fuzzing speed and UX:

• Multicore fuzzing & optimized coverage collection. Those combined delivered up to 20x fuzzing speed improvement on a real-world internal benchmark. The number of workers can be configured with workers config option or --workers CLI switch. Echidna runs only one worker by default, but this might change in future releases.
• Lcov support. It is output by default and can be controlled with the coverageFormats config option. This enables external coverage tools such as genhtml or VSCode plugins.
• More configuration options. Added --timeout <seconds> CLI switch. RPC URL and block number can now be also specified in the config file for on-chain fuzzing.
• UI improvements. Echidna now outputs an event log for any fuzzing breakthrough, such as new coverage. The interactive UI was significantly reworked to accommodate all the changes from this release (see the screenshot below).

Note, we changed the way reverts are shown in coverage reports. Now, only the line where a revert happened is marked, instead of the whole path.

The full changelog:

Added

• Multicore fuzzing (#963, #1033, #1026, #1035)
• Lcov format support (#1029)
• Experimental power number generator for uints (#892)

Changed

• Coverage collection optimization (#1003, #1041)
• On-chain fuzzing improvements (#1017)
• Refactored code (#1020, #1021)
• Updated dependencies (#1022, #1023)
• UI improvements (#1031, #1032, #1034, #1040)
• Readme improvements (#1019)