Skip to content

release/0.50.3
Compare
Choose a tag to compare
@github-actions github-actions released this 17 Feb 15:14
· 1439 commits to main since this release
release/0.50.3
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.
00b54a1
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.

Fixed

  • hevm symbolic exits with status code 1 if counterexamples or timeouts are found

Added

  • New cheatcode prank(address) that sets msg.sender to the specified address for the next call.
  • Improved equivalence checker that avoids checking similar branches more than once.
  • Improved simplification for arithmetic expressions
  • Construction of storage counterexamples based on the model returned by the SMT solver.
  • Static binaries for macos
Assets 4
Loading