Consider printing out hexadecimal representation of panics and the error msg for a specific panic

[0xicingdeath]

trafficstars

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>

[0xalpharush]

looks like it was removed in https://github.com/crytic/echidna/pull/1157 for context

[arcz]

Can you open an issue in hevm for this?

[0xicingdeath]

@arcz done

[gustavo-grieco]

Let's check if this was fixed

[gustavo-grieco]

Already fixed