Display hexadecimal value of panic opcode or specific error msgs for a panic

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

223 stars 45 forks source link

Display hexadecimal value of panic opcode or specific error msgs for a panic #473

Closed 0xicingdeath closed 5 months ago

0xicingdeath commented 5 months ago

Describe the desired feature

Consider displaying the hexadecimal value of the panic opcode or the specific error messages that are represented by the Panic(17). Since this number is technically in decimal, it needs to be converted into hex for Panic(0x11), thereby allowing us to determine that it is due to an arithmetic operation causing underflow.

 └╴error Revert Panic(17) <no source map>

see Echidna issue counterpart

msooseth commented 5 months ago

Please see & review: https://github.com/ethereum/hevm/pull/474

Thanks!