mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 02:01:54 +03:00
94 lines
2.4 KiB
Plaintext
94 lines
2.4 KiB
Plaintext
---
|
|
namespace: Parse
|
|
expectation: Pass
|
|
outputs:
|
|
- name: ""
|
|
network: ""
|
|
expected_input: []
|
|
imports: {}
|
|
functions:
|
|
"{\"name\":\"x\",\"span\":\"{\\\"lo\\\":11,\\\"hi\\\":12}\"}":
|
|
annotations: []
|
|
identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":11,\\\"hi\\\":12}\"}"
|
|
input:
|
|
- identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":13,\\\"hi\\\":14}\"}"
|
|
mode: None
|
|
type_:
|
|
Integer: U32
|
|
span:
|
|
lo: 13
|
|
hi: 14
|
|
- identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":28,\\\"hi\\\":29}\"}"
|
|
mode: Public
|
|
type_:
|
|
Integer: I32
|
|
span:
|
|
lo: 28
|
|
hi: 29
|
|
output:
|
|
Integer: U8
|
|
core_mapping: ~
|
|
block:
|
|
statements:
|
|
- Return:
|
|
expression:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "0"
|
|
- span:
|
|
lo: 55
|
|
hi: 58
|
|
span:
|
|
lo: 48
|
|
hi: 58
|
|
span:
|
|
lo: 42
|
|
hi: 61
|
|
span:
|
|
lo: 2
|
|
hi: 61
|
|
"{\"name\":\"x\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":73}\"}":
|
|
annotations: []
|
|
identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":73}\"}"
|
|
input:
|
|
- identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":81,\\\"hi\\\":82}\"}"
|
|
mode: Public
|
|
type_:
|
|
Integer: U32
|
|
span:
|
|
lo: 81
|
|
hi: 82
|
|
- identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":89,\\\"hi\\\":90}\"}"
|
|
mode: None
|
|
type_:
|
|
Integer: I32
|
|
span:
|
|
lo: 89
|
|
hi: 90
|
|
output:
|
|
Integer: U8
|
|
core_mapping: ~
|
|
block:
|
|
statements:
|
|
- Return:
|
|
expression:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "0"
|
|
- span:
|
|
lo: 116
|
|
hi: 119
|
|
span:
|
|
lo: 109
|
|
hi: 119
|
|
span:
|
|
lo: 103
|
|
hi: 122
|
|
span:
|
|
lo: 63
|
|
hi: 122
|
|
circuits: {}
|
|
mappings: {}
|