mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 20:24:52 +03:00
159 lines
3.3 KiB
Plaintext
159 lines
3.3 KiB
Plaintext
|
---
|
||
|
|
namespace: ParseExpression
|
||
|
|
expectation: Pass
|
||
|
|
outputs:
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 2
|
||
|
|
hi: 17
|
||
|
|
op: Negate
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 17
|
||
|
|
op: Not
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 17
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 15
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 29
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 43
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 16
|
||
|
|
op: Negate
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 16
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: Negate
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 3
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 18
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 2
|
||
|
|
hi: 17
|
||
|
|
op: Negate
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 17
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 2
|
||
|
|
hi: 17
|
||
|
|
op: Negate
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 17
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 32
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 16
|
||
|
|
op: Not
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 16
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: Not
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 3
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 18
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 2
|
||
|
|
hi: 17
|
||
|
|
op: Not
|
||
|
|
span:
|
||
|
|
lo: 0
|
||
|
|
hi: 17
|
||
|
|
- Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Unary:
|
||
|
|
receiver:
|
||
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 2
|
||
|
|
hi: 17
|
||
|
|
op: Not
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 17
|
||
|
|
op: SquareRoot
|
||
|
|
span:
|
||
|
|
lo: 1
|
||
|
|
hi: 32
|