crytic/echidna v2.2.5 on GitHub

What's Changed

Support Ethereum Cancun upgrade, including MCOPY (#1317, #1309, #1300)
Print a warning if an assert isn't hit in assert mode (#1110)
Add support for the vm.label cheatcode when printing call sequences (#1314)
Add support for other cheatcodes: startPrank, stopPrank, setEnv, and env{Bool,Uint,Int,Address,Bytes32,String,Bytes} (#1300)
Collect coverage during contract deployment (#1304)
Fix overflow behavior: overflows now revert the transaction, rather than causing Echidna to error (#1293)
Add documentation (#1298)

Full Changelog: v2.2.4...v2.2.5