hevm/0.48.0
github-actions
released this
05 Aug 18:52
·
355 commits
to master
since this release
Changed
- Updated to London hard fork!
- The configuration variable
DAPP_TEST_BALANCE_CREATE
has been renamed toDAPP_TEST_BALANCE
- Default
smttimeout
has been increased to 1 minute. - A new flag has been added to hevm (
--ask-smt-iterations
) that controls the number of iterations
at which the symbolic execution engine will stop eager evaluation and begin to query the smt
solver whether a given branch is reachable or not. - Contract fetching now happens asynchronously.
- Fixed no contract definition crashes
- Removed NoSuchContract failures