a16z / halmos

A symbolic testing tool for EVM smart contracts

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Parse symbols from build to print readable traces

karmacoma-eth opened this issue · comments

Is your feature request related to a problem? Please describe.

Traces currently display only EVM-level raw hex values (for logs, calldata, deployed contracts, etc).

Describe the solution you'd like

It would be nice to see the name of events, function calls and deployed contracts instead when these are available in the build output.

(not super high priority, but would be nice to have)