Make sure the invocation of inexplicit panics aligns with the spec.

lambdaclass / era_vm

EraVM implementation

MIT License

20 stars 3 forks source link

Make sure the invocation of inexplicit panics aligns with the spec. #142

Closed MarcosNicolau closed 3 months ago

MarcosNicolau commented 3 months ago

Currently, whenever an EraVmError is encountered, we invoke the inexplicit_panic function. We need to confirm whether this behavior aligns with the specification.

MarcosNicolau commented 3 months ago

I've been investigating this behavior and it does actually align with the spec. The only opcode that behaves differently is far_call which we are handling correctly through panic_from_far_call see here.