mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-29 05:02:52 +03:00
244 lines
6.3 KiB
Plaintext
244 lines
6.3 KiB
Plaintext
|
---
|
||
|
namespace: ParseExpression
|
||
|
expectation: Pass
|
||
|
outputs:
|
||
|
- Unary:
|
||
|
receiver:
|
||
|
Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 2
|
||
|
hi: 18
|
||
|
op: Negate
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 18
|
||
|
op: Not
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 18
|
||
|
- Binary:
|
||
|
left:
|
||
|
Binary:
|
||
|
left:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":14,\\\"hi\\\":15}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 16
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":29,\\\"hi\\\":30}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 31
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":44,\\\"hi\\\":45}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 46
|
||
|
- Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":15,\\\"hi\\\":16}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 17
|
||
|
op: Negate
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 17
|
||
|
- Binary:
|
||
|
left:
|
||
|
Unary:
|
||
|
receiver:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
op: Negate
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 3
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":17,\\\"hi\\\":18}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 19
|
||
|
- Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 2
|
||
|
hi: 18
|
||
|
op: Negate
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 18
|
||
|
- Binary:
|
||
|
left:
|
||
|
Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 2
|
||
|
hi: 18
|
||
|
op: Negate
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 18
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":32,\\\"hi\\\":33}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 34
|
||
|
- Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":15,\\\"hi\\\":16}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 17
|
||
|
op: Not
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 17
|
||
|
- Binary:
|
||
|
left:
|
||
|
Unary:
|
||
|
receiver:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
op: Not
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 3
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":17,\\\"hi\\\":18}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 19
|
||
|
- Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 2
|
||
|
hi: 18
|
||
|
op: Not
|
||
|
span:
|
||
|
lo: 0
|
||
|
hi: 18
|
||
|
- Binary:
|
||
|
left:
|
||
|
Unary:
|
||
|
receiver:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 2
|
||
|
hi: 18
|
||
|
op: Not
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 18
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":32,\\\"hi\\\":33}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 34
|
||
|
- Binary:
|
||
|
left:
|
||
|
Binary:
|
||
|
left:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":15,\\\"hi\\\":16}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 17
|
||
|
right:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":21,\\\"hi\\\":22}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":35,\\\"hi\\\":36}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 21
|
||
|
hi: 37
|
||
|
op: Shr
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 37
|
||
|
right:
|
||
|
Binary:
|
||
|
left:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":51,\\\"hi\\\":52}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":65,\\\"hi\\\":66}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 51
|
||
|
hi: 67
|
||
|
right:
|
||
|
Binary:
|
||
|
left:
|
||
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":71,\\\"hi\\\":72}\"}"
|
||
|
right:
|
||
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":85,\\\"hi\\\":86}\"}"
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 71
|
||
|
hi: 87
|
||
|
op: Shr
|
||
|
span:
|
||
|
lo: 51
|
||
|
hi: 87
|
||
|
op: ShrWrapped
|
||
|
span:
|
||
|
lo: 1
|
||
|
hi: 88
|