mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
30 lines
1.6 KiB
Plaintext
30 lines
1.6 KiB
Plaintext
|
---
|
||
|
|
namespace: Execute
|
||
|
|
expectation: Pass
|
||
|
|
outputs:
|
||
|
|
- initial_ast: 4f771e398a6a7dd30e05b1a2733a4c3d41654e3f5a116a02ed7a862bd3267a06
|
||
|
|
unrolled_ast: 4f771e398a6a7dd30e05b1a2733a4c3d41654e3f5a116a02ed7a862bd3267a06
|
||
|
|
ssa_ast: 82daba4fefc51c3e851850edd804ac76ced396d25f82c68e808d3953028fa780
|
||
|
|
flattened_ast: 14521ee56079b67838d1dd0d9b26e464fc6bfd5e6cc649621c0210a8b2b34ed2
|
||
|
|
inlined_ast: 0fd1095d0790c80c3114d8e45b6409f1810eb5b6e05224dbc5843092150e6520
|
||
|
|
bytecode: 1887edbf4dd13f3913bebb36b012a4513cb26d8a8570d99bd0ac542f4bdb1c73
|
||
|
|
results:
|
||
|
|
bar:
|
||
|
|
- input: "[true, true, 1u8, 0u8]"
|
||
|
|
output: "[1u8, 1u8, {\n a: 1u8,\n b: 0u8,\n c: {\n c: 1u8\n }\n}]"
|
||
|
|
- input: "[true, false, 1u8, 1u8]"
|
||
|
|
output: "[1u8, 1u8, {\n a: 1u8,\n b: 1u8,\n c: {\n c: 1u8\n }\n}]"
|
||
|
|
- input: "[false, true, 2u8, 1u8]"
|
||
|
|
output: "[3u8, 1u8, {\n a: 2u8,\n b: 1u8,\n c: {\n c: 2u8\n }\n}]"
|
||
|
|
- input: "[false, false, 2u8, 2u8]"
|
||
|
|
output: "[2u8, 2u8, {\n a: 2u8,\n b: 2u8,\n c: {\n c: 2u8\n }\n}]"
|
||
|
|
blar:
|
||
|
|
- input: "[true, true, 1u8, 0u8]"
|
||
|
|
output: "[1u8, 1u8, {\n a: 1u8,\n b: 1u8,\n c: {\n c: 1u8\n }\n}]"
|
||
|
|
- input: "[true, false, 1u8, 1u8]"
|
||
|
|
output: "[1u8, 1u8, {\n a: 1u8,\n b: 1u8,\n c: {\n c: 1u8\n }\n}]"
|
||
|
|
- input: "[false, true, 2u8, 1u8]"
|
||
|
|
output: "[1u8, 1u8, {\n a: 1u8,\n b: 1u8,\n c: {\n c: 1u8\n }\n}]"
|
||
|
|
- input: "[false, false, 2u8, 2u8]"
|
||
|
|
output: "[2u8, 2u8, {\n a: 2u8,\n b: 2u8,\n c: {\n c: 2u8\n }\n}]"
|