mirror of
https://github.com/ProvableHQ/leo.git
synced 2025-01-05 09:16:21 +03:00
16 lines
722 B
Plaintext
16 lines
722 B
Plaintext
---
|
|
namespace: Execute
|
|
expectation: Pass
|
|
outputs:
|
|
- initial_ast: 6a8b69b8cc10a5ec883792fc4d7f7208d1f0ab0b36dff8f45af345697efb8d21
|
|
unrolled_ast: 6a8b69b8cc10a5ec883792fc4d7f7208d1f0ab0b36dff8f45af345697efb8d21
|
|
ssa_ast: 6a8b69b8cc10a5ec883792fc4d7f7208d1f0ab0b36dff8f45af345697efb8d21
|
|
flattened_ast: 6a8b69b8cc10a5ec883792fc4d7f7208d1f0ab0b36dff8f45af345697efb8d21
|
|
bytecode: a6761b7781ec9e41fdd2883113b147186f36c1b6be485b1dd31ae9224893191b
|
|
results:
|
|
main:
|
|
- input: "[0u32, 1u32]"
|
|
output: "SnarkVMError(Failed to evaluate instruction (assert.eq r0 r1 ;): 'assert.eq' failed: '0u32' is not equal to '1u32' (should be equal))"
|
|
- input: "[1u32, 1u32]"
|
|
output: "[]"
|