mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
113 lines
3.6 KiB
Plaintext
113 lines
3.6 KiB
Plaintext
---
|
|
namespace: Parse
|
|
expectation: Pass
|
|
outputs:
|
|
- imports: {}
|
|
program_scopes:
|
|
"{\"name\":\"test\",\"network\":\"\\\"{\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":15,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":19}\\\\\\\"}\\\"\"}":
|
|
program_id: "{\"name\":\"test\",\"network\":\"\\\"{\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":15,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":19}\\\\\\\"}\\\"\"}"
|
|
structs: {}
|
|
mappings: {}
|
|
functions:
|
|
"inf":
|
|
annotations: []
|
|
variant: Standard
|
|
identifier: "{\"name\":\"inf\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":42}\"}"
|
|
input: []
|
|
output:
|
|
- Internal:
|
|
mode: None
|
|
type_:
|
|
Integer: U8
|
|
span:
|
|
lo: 48
|
|
hi: 50
|
|
id: 0
|
|
output_type:
|
|
Integer: U8
|
|
block:
|
|
statements:
|
|
- Expression:
|
|
expression:
|
|
Call:
|
|
function:
|
|
Identifier: "{\"name\":\"inf\",\"span\":\"{\\\"lo\\\":61,\\\"hi\\\":64}\"}"
|
|
arguments: []
|
|
external: ~
|
|
span:
|
|
lo: 61
|
|
hi: 66
|
|
id: 0
|
|
span:
|
|
lo: 61
|
|
hi: 67
|
|
id: 0
|
|
span:
|
|
lo: 51
|
|
hi: 73
|
|
id: 0
|
|
finalize: ~
|
|
span:
|
|
lo: 30
|
|
hi: 73
|
|
id: 0
|
|
main:
|
|
annotations: []
|
|
variant: Standard
|
|
identifier: "{\"name\":\"main\",\"span\":\"{\\\"lo\\\":92,\\\"hi\\\":96}\"}"
|
|
input:
|
|
- Internal:
|
|
identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":97,\\\"hi\\\":98}\"}"
|
|
mode: None
|
|
type_: Boolean
|
|
span:
|
|
lo: 97
|
|
hi: 98
|
|
id: 0
|
|
output:
|
|
- Internal:
|
|
mode: None
|
|
type_: Boolean
|
|
span:
|
|
lo: 109
|
|
hi: 113
|
|
id: 0
|
|
output_type: Boolean
|
|
block:
|
|
statements:
|
|
- Expression:
|
|
expression:
|
|
Call:
|
|
function:
|
|
Identifier: "{\"name\":\"inf\",\"span\":\"{\\\"lo\\\":124,\\\"hi\\\":127}\"}"
|
|
arguments: []
|
|
external: ~
|
|
span:
|
|
lo: 124
|
|
hi: 129
|
|
id: 0
|
|
span:
|
|
lo: 124
|
|
hi: 130
|
|
id: 0
|
|
- Return:
|
|
expression:
|
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":146,\\\"hi\\\":147}\"}"
|
|
finalize_arguments: ~
|
|
span:
|
|
lo: 139
|
|
hi: 148
|
|
id: 0
|
|
span:
|
|
lo: 114
|
|
hi: 154
|
|
id: 0
|
|
finalize: ~
|
|
span:
|
|
lo: 83
|
|
hi: 154
|
|
id: 0
|
|
span:
|
|
lo: 2
|
|
hi: 156
|