mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-04 16:27:40 +03:00
204 lines
5.6 KiB
Plaintext
204 lines
5.6 KiB
Plaintext
---
|
|
namespace: Input
|
|
expectation: Pass
|
|
outputs:
|
|
- sections:
|
|
- name: main
|
|
definitions:
|
|
- mode: Const
|
|
type_: Boolean
|
|
name: "{\"name\":\"a\",\"span\":\"{\\\"lo\\\":18,\\\"hi\\\":19}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 29
|
|
hi: 33
|
|
span:
|
|
lo: 21
|
|
hi: 25
|
|
- mode: Const
|
|
type_:
|
|
Integer: U8
|
|
name: "{\"name\":\"b\",\"span\":\"{\\\"lo\\\":44,\\\"hi\\\":45}\"}"
|
|
value:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "2"
|
|
- span:
|
|
lo: 55
|
|
hi: 58
|
|
span:
|
|
lo: 47
|
|
hi: 49
|
|
- mode: Const
|
|
type_: Field
|
|
name: "{\"name\":\"c\",\"span\":\"{\\\"lo\\\":69,\\\"hi\\\":70}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 80
|
|
hi: 86
|
|
span:
|
|
lo: 72
|
|
hi: 77
|
|
- mode: Const
|
|
type_: Group
|
|
name: "{\"name\":\"d\",\"span\":\"{\\\"lo\\\":97,\\\"hi\\\":98}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 109
|
|
hi: 110
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 112
|
|
hi: 113
|
|
span:
|
|
lo: 108
|
|
hi: 119
|
|
span:
|
|
lo: 100
|
|
hi: 105
|
|
- mode: Const
|
|
type_: Address
|
|
name: "{\"name\":\"e\",\"span\":\"{\\\"lo\\\":130,\\\"hi\\\":131}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 143
|
|
hi: 206
|
|
span:
|
|
lo: 133
|
|
hi: 140
|
|
- mode: Const
|
|
type_:
|
|
Integer: I8
|
|
name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":217,\\\"hi\\\":218}\"}"
|
|
value:
|
|
Literal:
|
|
Integer:
|
|
- I8
|
|
- "-2"
|
|
- span:
|
|
lo: 228
|
|
hi: 232
|
|
span:
|
|
lo: 220
|
|
hi: 222
|
|
span:
|
|
lo: 3
|
|
hi: 7
|
|
- name: registers
|
|
definitions:
|
|
- mode: None
|
|
type_: Boolean
|
|
name: "{\"name\":\"r0\",\"span\":\"{\\\"lo\\\":247,\\\"hi\\\":249}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 259
|
|
hi: 263
|
|
span:
|
|
lo: 251
|
|
hi: 255
|
|
- mode: None
|
|
type_:
|
|
Integer: U8
|
|
name: "{\"name\":\"r1\",\"span\":\"{\\\"lo\\\":265,\\\"hi\\\":267}\"}"
|
|
value:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "2"
|
|
- span:
|
|
lo: 277
|
|
hi: 280
|
|
span:
|
|
lo: 269
|
|
hi: 271
|
|
- mode: None
|
|
type_: Field
|
|
name: "{\"name\":\"r2\",\"span\":\"{\\\"lo\\\":282,\\\"hi\\\":284}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 294
|
|
hi: 300
|
|
span:
|
|
lo: 286
|
|
hi: 291
|
|
- mode: None
|
|
type_: Group
|
|
name: "{\"name\":\"r3\",\"span\":\"{\\\"lo\\\":302,\\\"hi\\\":304}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 315
|
|
hi: 316
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 318
|
|
hi: 319
|
|
span:
|
|
lo: 314
|
|
hi: 325
|
|
span:
|
|
lo: 306
|
|
hi: 311
|
|
- mode: None
|
|
type_: Address
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":327,\\\"hi\\\":329}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 341
|
|
hi: 404
|
|
span:
|
|
lo: 331
|
|
hi: 338
|
|
- mode: None
|
|
type_:
|
|
Integer: I8
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":406,\\\"hi\\\":408}\"}"
|
|
value:
|
|
Literal:
|
|
Integer:
|
|
- I8
|
|
- "-1"
|
|
- span:
|
|
lo: 415
|
|
hi: 419
|
|
span:
|
|
lo: 410
|
|
hi: 412
|
|
span:
|
|
lo: 236
|
|
hi: 245
|