Skip to content

0.50.5
Compare
Choose a tag to compare
@github-actions github-actions released this 18 Apr 16:43
· 1232 commits to main since this release
release/0.50.5
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.
1c43a07
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.

Changed

  • The --storage-model parameter has been replaced with --initial-storage
  • The --smttimeout argument now expects a value in seconds not milliseconds
  • The default smt timeout has been set to 5 minutes
  • hevm symbolic now searches only for user defined assertions by default

Fixed

  • The prank cheatcode now transfers value from the correct address
  • Fixed an off-by-one error in EVM.Debug.srcMapCodePos
Assets 4
Loading