Skip to content

hevm/0.43.1
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Dec 16:47
hevm/0.43.1
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.
75809c1
This commit was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.

0.43.1 - 2020-12-10

Changed

  • Counterexamples from symbolic tests now show clearer failure reasons

Fixed

  • Symbolic tests now work with RPC
  • Branch selection is working again in the interactive debugger
Assets 2
Loading