Skip to content

0.51.0
Compare
Choose a tag to compare
@github-actions github-actions released this 29 Apr 15:13
· 1039 commits to main since this release
release/0.51.0
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.
852b154
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.

Added

  • hevm can now execute unit tests in foundry projects. Just run hevm test from the root of a foundry repo, and all unit tests will be executed (including prove tests).
  • A new stack based loop detection heuristic
  • Analysis of partial execution traces is now supported
  • Stack traces are displayed for counterexamples from prove tests

Changed

  • hevm dapp-test has been replaced with hevm test --project-type DappTools.
  • hevm test no longer supports parsing solidity output in the combined json format.
  • The default value for --ask-smt-iterations has been changed to 1
  • The SMT solver is never queried for branch conditions that do not occur in a loop (as determined by the loop detection heuristic)

Fixed

  • --max-iterations is respected in cases where path conditions have become inconsistent
  • --max-iterations is now respected for loops with a concrete branch condition
  • Fixed a bug where underflow was possible when transfering eth
Assets 4
Loading