mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 18:52:58 +03:00
57 lines
1.7 KiB
Plaintext
57 lines
1.7 KiB
Plaintext
---
|
|
namespace: ParseStatement
|
|
expectation: Pass
|
|
outputs:
|
|
- Console:
|
|
function:
|
|
AssertEq:
|
|
- Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":18,\\\"hi\\\":19}\"}"
|
|
- Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":21,\\\"hi\\\":22}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 22
|
|
- Console:
|
|
function:
|
|
AssertEq:
|
|
- Struct:
|
|
name: "{\"name\":\"Foo\",\"span\":\"{\\\"lo\\\":18,\\\"hi\\\":21}\"}"
|
|
members:
|
|
- identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":24,\\\"hi\\\":25}\"}"
|
|
expression:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":27,\\\"hi\\\":28}\"}"
|
|
span:
|
|
lo: 18
|
|
hi: 30
|
|
- Struct:
|
|
name: "{\"name\":\"Foo\",\"span\":\"{\\\"lo\\\":32,\\\"hi\\\":35}\"}"
|
|
members:
|
|
- identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":38,\\\"hi\\\":39}\"}"
|
|
expression:
|
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
|
|
span:
|
|
lo: 32
|
|
hi: 44
|
|
span:
|
|
lo: 0
|
|
hi: 44
|
|
- Console:
|
|
function:
|
|
AssertNeq:
|
|
- Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":19,\\\"hi\\\":20}\"}"
|
|
- Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":22,\\\"hi\\\":23}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 23
|
|
- Console:
|
|
function:
|
|
Assert:
|
|
Literal:
|
|
Boolean:
|
|
- false
|
|
- span:
|
|
lo: 15
|
|
hi: 20
|
|
span:
|
|
lo: 0
|
|
hi: 20
|