mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
53 lines
1.7 KiB
Plaintext
53 lines
1.7 KiB
Plaintext
---
|
|
namespace: ParseExpression
|
|
expectation: Pass
|
|
outputs:
|
|
- Ternary:
|
|
condition:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
if_true:
|
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
if_false:
|
|
Identifier: "{\"name\":\"z\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 9
|
|
- Ternary:
|
|
condition:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
if_true:
|
|
Ternary:
|
|
condition:
|
|
Identifier: "{\"name\":\"a\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
if_true:
|
|
Identifier: "{\"name\":\"b\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
|
|
if_false:
|
|
Identifier: "{\"name\":\"c\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":13}\"}"
|
|
span:
|
|
lo: 4
|
|
hi: 13
|
|
if_false:
|
|
Identifier: "{\"name\":\"z\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
- Ternary:
|
|
condition:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
if_true:
|
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
if_false:
|
|
Ternary:
|
|
condition:
|
|
Identifier: "{\"name\":\"a\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
|
|
if_true:
|
|
Identifier: "{\"name\":\"b\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":13}\"}"
|
|
if_false:
|
|
Identifier: "{\"name\":\"c\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 8
|
|
hi: 17
|
|
span:
|
|
lo: 0
|
|
hi: 17
|