mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
208 lines
5.7 KiB
Plaintext
208 lines
5.7 KiB
Plaintext
---
|
|
namespace: Input
|
|
expectation: Pass
|
|
outputs:
|
|
- sections:
|
|
- name: main
|
|
definitions:
|
|
- mode: Const
|
|
type_: Boolean
|
|
name: "{\"name\":\"a\",\"span\":\"{\\\"lo\\\":15,\\\"hi\\\":16}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 26
|
|
hi: 30
|
|
span:
|
|
lo: 18
|
|
hi: 22
|
|
- mode: Const
|
|
type_: U8
|
|
name: "{\"name\":\"b\",\"span\":\"{\\\"lo\\\":38,\\\"hi\\\":39}\"}"
|
|
value:
|
|
Literal:
|
|
U8:
|
|
- "2"
|
|
- span:
|
|
lo: 49
|
|
hi: 52
|
|
span:
|
|
lo: 41
|
|
hi: 43
|
|
- mode: Const
|
|
type_: Field
|
|
name: "{\"name\":\"c\",\"span\":\"{\\\"lo\\\":60,\\\"hi\\\":61}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 71
|
|
hi: 77
|
|
span:
|
|
lo: 63
|
|
hi: 68
|
|
- mode: Const
|
|
type_: Group
|
|
name: "{\"name\":\"d\",\"span\":\"{\\\"lo\\\":85,\\\"hi\\\":86}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 97
|
|
hi: 98
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 100
|
|
hi: 101
|
|
span:
|
|
lo: 96
|
|
hi: 107
|
|
span:
|
|
lo: 88
|
|
hi: 93
|
|
- mode: Const
|
|
type_: Address
|
|
name: "{\"name\":\"e\",\"span\":\"{\\\"lo\\\":115,\\\"hi\\\":116}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 128
|
|
hi: 191
|
|
span:
|
|
lo: 118
|
|
hi: 125
|
|
- mode: Const
|
|
type_: I8
|
|
name: "{\"name\":\"f\",\"span\":\"{\\\"lo\\\":199,\\\"hi\\\":200}\"}"
|
|
value:
|
|
Unary:
|
|
receiver:
|
|
Literal:
|
|
I8:
|
|
- "2"
|
|
- span:
|
|
lo: 211
|
|
hi: 214
|
|
op: Negate
|
|
span:
|
|
lo: 210
|
|
hi: 214
|
|
span:
|
|
lo: 202
|
|
hi: 204
|
|
span:
|
|
lo: 3
|
|
hi: 7
|
|
- name: registers
|
|
definitions:
|
|
- mode: None
|
|
type_: Boolean
|
|
name: "{\"name\":\"r0\",\"span\":\"{\\\"lo\\\":229,\\\"hi\\\":231}\"}"
|
|
value:
|
|
Literal:
|
|
Boolean:
|
|
- true
|
|
- span:
|
|
lo: 241
|
|
hi: 245
|
|
span:
|
|
lo: 233
|
|
hi: 237
|
|
- mode: None
|
|
type_: U8
|
|
name: "{\"name\":\"r1\",\"span\":\"{\\\"lo\\\":247,\\\"hi\\\":249}\"}"
|
|
value:
|
|
Literal:
|
|
U8:
|
|
- "2"
|
|
- span:
|
|
lo: 259
|
|
hi: 262
|
|
span:
|
|
lo: 251
|
|
hi: 253
|
|
- mode: None
|
|
type_: Field
|
|
name: "{\"name\":\"r2\",\"span\":\"{\\\"lo\\\":264,\\\"hi\\\":266}\"}"
|
|
value:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 276
|
|
hi: 282
|
|
span:
|
|
lo: 268
|
|
hi: 273
|
|
- mode: None
|
|
type_: Group
|
|
name: "{\"name\":\"r3\",\"span\":\"{\\\"lo\\\":284,\\\"hi\\\":286}\"}"
|
|
value:
|
|
Literal:
|
|
Group:
|
|
Tuple:
|
|
x:
|
|
Number:
|
|
- "0"
|
|
- span:
|
|
lo: 297
|
|
hi: 298
|
|
y:
|
|
Number:
|
|
- "1"
|
|
- span:
|
|
lo: 300
|
|
hi: 301
|
|
span:
|
|
lo: 296
|
|
hi: 307
|
|
span:
|
|
lo: 288
|
|
hi: 293
|
|
- mode: None
|
|
type_: Address
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":309,\\\"hi\\\":311}\"}"
|
|
value:
|
|
Literal:
|
|
Address:
|
|
- aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx
|
|
- span:
|
|
lo: 323
|
|
hi: 386
|
|
span:
|
|
lo: 313
|
|
hi: 320
|
|
- mode: None
|
|
type_: I8
|
|
name: "{\"name\":\"r4\",\"span\":\"{\\\"lo\\\":388,\\\"hi\\\":390}\"}"
|
|
value:
|
|
Unary:
|
|
receiver:
|
|
Literal:
|
|
I8:
|
|
- "1"
|
|
- span:
|
|
lo: 398
|
|
hi: 401
|
|
op: Negate
|
|
span:
|
|
lo: 397
|
|
hi: 401
|
|
span:
|
|
lo: 392
|
|
hi: 394
|
|
span:
|
|
lo: 218
|
|
hi: 227
|