« Changelog History


hevm v0.43.0 Release Notes

Release Date: 2020-11-29 // over 4 years ago

  • 0.43.0 - 2020-11-29

    ➕ Added

    • 🖨 A --show-tree option to hevm symbolic which prints the execution tree explored.
    • Some symbolic terms are displayed with richer semantic information, instead of the black box <symbolic>.
    • ✅ hevm dapp-test now supports symbolic execution of test methods that are prefixed with prove or proveFail
    • 🚚 The hevm interactive alias has been removed, as it is equivalent to hevm dapp-test --debug
    • ✅ hevm dapp-test --match now matches on contract name and file path, as well as test name
    • Step through the callstack in debug mode using the arrow keys

    🔄 Changed

    • ✅ dapp-test trace output now detects ds-note events and shows LogNote
    • create addresses are shown with @<address> in the trace
    • ✅ DSTest.setUp() is only run if it exists, rather than failing
    • support new ds-test log_named_x(string, x) (previously bytes32 keys)
    • return arguments are fully displayed in the trace (previously only a single word)
    • ⏪ return/revert trace will now show the correct source position

Previous changes from v0.42.0