halmos
halmos copied to clipboard
Parse symbols from build to print readable traces
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.