mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 02:01:54 +03:00
208 lines
5.7 KiB
Plaintext
208 lines
5.7 KiB
Plaintext
---
|
|
namespace: Input
|
|
expectation: Pass
|
|
outputs:
|
|
- sections:
|
|
- name: main
|
|
definitions:
|
|
- mode: Public
|
|
type_: Boolean
|
|
name: "{\"name\":\"a\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 27
|
|
hi: 31
|
|
span:
|
|
lo: 19
|
|
hi: 23
|
|
- mode: Public
|
|
type_: U8
|
|
name: "{\"name\":\"b\",\"span\":\"{\\\"lo\\\":57,\\\"hi\\\":58}\"}"
|
|
value:
|
|
Literal:
|
|
U8:
|
|
- "2"
|
|
- span:
|
|
lo: 68
|
|
hi: 71
|
|
span:
|
|
lo: 60
|
|
hi: 62
|
|
- mode: Public
|
|
type_: Field
|
|
name: "{\"name\":\"c\",\"span\":\"{\\\"lo\\\":100,\\\"hi\\\":101}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 111
|
|
hi: 117
|
|
span:
|
|
lo: 103
|
|
hi: 108
|
|
- mode: Public
|
|
type_: Group
|
|
name: "{\"name\":\"d\",\"span\":\"{\\\"lo\\\":146,\\\"hi\\\":147}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 158
|
|
hi: 159
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 161
|
|
hi: 162
|
|
span:
|
|
lo: 157
|
|
hi: 168
|
|
span:
|
|
lo: 149
|
|
hi: 154
|
|
- mode: Public
|
|
type_: Address
|
|
name: "{\"name\":\"e\",\"span\":\"{\\\"lo\\\":187,\\\"hi\\\":188}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 200
|
|
hi: 263
|
|
span:
|
|
lo: 190
|
|
hi: 197
|
|
- mode: Public
|
|
type_: I8
|
|
name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":272,\\\"hi\\\":273}\"}"
|
|
value:
|
|
Unary:
|
|
receiver:
|
|
Literal:
|
|
I8:
|
|
- "2"
|
|
- span:
|
|
lo: 284
|
|
hi: 287
|
|
op: Negate
|
|
span:
|
|
lo: 283
|
|
hi: 287
|
|
span:
|
|
lo: 275
|
|
hi: 277
|
|
span:
|
|
lo: 3
|
|
hi: 7
|
|
- name: registers
|
|
definitions:
|
|
- mode: None
|
|
type_: Boolean
|
|
name: "{\"name\":\"r0\",\"span\":\"{\\\"lo\\\":302,\\\"hi\\\":304}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 314
|
|
hi: 318
|
|
span:
|
|
lo: 306
|
|
hi: 310
|
|
- mode: None
|
|
type_: U8
|
|
name: "{\"name\":\"r1\",\"span\":\"{\\\"lo\\\":337,\\\"hi\\\":339}\"}"
|
|
value:
|
|
Literal:
|
|
U8:
|
|
- "2"
|
|
- span:
|
|
lo: 349
|
|
hi: 352
|
|
span:
|
|
lo: 341
|
|
hi: 343
|
|
- mode: None
|
|
type_: Field
|
|
name: "{\"name\":\"r2\",\"span\":\"{\\\"lo\\\":374,\\\"hi\\\":376}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 386
|
|
hi: 392
|
|
span:
|
|
lo: 378
|
|
hi: 383
|
|
- mode: None
|
|
type_: Group
|
|
name: "{\"name\":\"r3\",\"span\":\"{\\\"lo\\\":414,\\\"hi\\\":416}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 427
|
|
hi: 428
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 430
|
|
hi: 431
|
|
span:
|
|
lo: 426
|
|
hi: 437
|
|
span:
|
|
lo: 418
|
|
hi: 423
|
|
- mode: None
|
|
type_: Address
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":449,\\\"hi\\\":451}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 463
|
|
hi: 526
|
|
span:
|
|
lo: 453
|
|
hi: 460
|
|
- mode: None
|
|
type_: I8
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":528,\\\"hi\\\":530}\"}"
|
|
value:
|
|
Unary:
|
|
receiver:
|
|
Literal:
|
|
I8:
|
|
- "1"
|
|
- span:
|
|
lo: 538
|
|
hi: 541
|
|
op: Negate
|
|
span:
|
|
lo: 537
|
|
hi: 541
|
|
span:
|
|
lo: 532
|
|
hi: 534
|
|
span:
|
|
lo: 291
|
|
hi: 300
|