Skip to content

Echidna 1.7.3

Choose a tag to compare

View all tags
@incertia incertia released this 29 Nov 19:49
· 632 commits to master since this release
v1.7.3
f748124
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This is a small release with some minor bugfixes and quality of life improvements. User facing changes include:

  • removal of old compilation artifacts before starting another campaign
  • fixed incorrect function filtering in assertion mode
  • improved handling of negative constants
  • fixed source line printing within coverage

Some less important changes are a version bump to hevm 0.48.0 and some nix improvements regarding slither.

Assets 7
Loading