snarkVM
snarkVM copied to clipboard
[Feature] Return descriptive error on failure to execute or evaluate
🚀 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.
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.
The instruction number could be sufficient.