snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

[Feature] Return descriptive error on failure to execute or evaluate

Open vicsn opened this issue 6 months ago • 2 comments

🚀 Feature

For errors like ⚠️ Failed to evaluate instruction (assert.eq r1 true;): 'assert.eq' failed: 'false' is not equal to 'true' (should be equal), we should also return the program name, function name and program line number.

vicsn avatar Jul 02 '25 20:07 vicsn

The program name and function (or closure) name should be easily accessible from the stack used the evaluate the instruction. However, the program line number might be difficult.

raychu86 avatar Jul 29 '25 21:07 raychu86

The instruction number could be sufficient.

d0cd avatar Jul 29 '25 21:07 d0cd