Skip to content

Echidna 2.0.2
Compare
Choose a tag to compare
@ggrieco-tob ggrieco-tob released this 26 May 12:12
· 269 commits to master since this release
v2.0.2
43591b1
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.

This release eases the custom deployment of contracts at fixed addresses, improves the fuzzing's shrinking and fixes a crash the EVM emulation:

deployContracts: [["0x42", "ContractA"], ["0x43", "ContractB"]]
deployBytecodes: [["0x44", "60806.."]]

All the contracts are deployed using the deployer address and will produce an error if they fail.

Added

  • Added support for deployment of certain contracts or bytecode in specific addresses (#758)
  • Added support for detection and handling of ancient solc versions (#675)
  • Added explicit static flag and removed pthread one from ghc options (#768)

Fixed

  • Improved shrinking of dynamic arrays (#775)
  • Fixed git attribute to support building docker containers in Windows (#773)
  • Fixed crash when the EVM execution triggers more than one query (#760)
Assets 8