hevm v0.43.0 Release Notes

Release Date: 2020-11-29 // 11 months 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