halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Parse symbols from build to print readable traces

Open 0xkarmacoma opened this issue 1 year ago • 1 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.

0xkarmacoma avatar Dec 24 '23 00:12 0xkarmacoma