a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
808 stars 67 forks source link

Improve unsupported cheatcode error messages #54

Open daejunpark opened 1 year ago

daejunpark commented 1 year ago

When an unsupported cheatcode is used, the error message is not very helpful in determining which cheatcode is causing the issue.

For example, if vm.expectRevert() is used, the following error message is printed:

Not supported: CALL Unsupported cheat code: calldata: 4102309908

This can be improved by creating a map from calldata to cheatcode.

EmperorOrokuSaki commented 2 months ago

taking this on!