mirror of
https://github.com/ProvableHQ/leo.git
synced 2025-01-03 15:52:15 +03:00
26 lines
1.2 KiB
Plaintext
26 lines
1.2 KiB
Plaintext
---
|
|
namespace: Execute
|
|
expectation: Pass
|
|
outputs:
|
|
- - initial_symbol_table: c4e92c74d879f331c364d5055ead22594a5d20a45c0b5dc78f64a02b276ee3e7
|
|
type_checked_symbol_table: 44682cb7edb8612311ff4dfef2de779fc78e42c8314d0510eed139eca6666604
|
|
unrolled_symbol_table: 44682cb7edb8612311ff4dfef2de779fc78e42c8314d0510eed139eca6666604
|
|
initial_ast: 85f1861ca5f01910e0ed54a18f8f0b82c2322e47e05612113a060115f7264829
|
|
unrolled_ast: 85f1861ca5f01910e0ed54a18f8f0b82c2322e47e05612113a060115f7264829
|
|
ssa_ast: b4f0209f08878d12455bd616cd448b4743819d44d1014d5d6f4d2751a3483529
|
|
flattened_ast: 1cac7e9104b100342a34786e2eddfdd372181306a2f9c46d804287ebfdcd30b6
|
|
inlined_ast: 1cac7e9104b100342a34786e2eddfdd372181306a2f9c46d804287ebfdcd30b6
|
|
dce_ast: b86c6b26d7a33ddba494e27775e0630cef0674a17903ce10366acb5a61cba9e7
|
|
bytecode: f6aaf7f7a13fb233511385db7479f2612e7a77734ee6a189f063bd3d33a7afaa
|
|
warnings: ""
|
|
results:
|
|
main:
|
|
- input: "[1u32]"
|
|
output: "[true]"
|
|
- input: "[2u32]"
|
|
output: "[true]"
|
|
- input: "[3u32]"
|
|
output: "[true]"
|
|
- input: "[4u32]"
|
|
output: "[false]"
|