mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-29 21:22:55 +03:00
635 lines
11 KiB
Plaintext
635 lines
11 KiB
Plaintext
---
|
|
namespace: ParseExpression
|
|
expectation: Pass
|
|
outputs:
|
|
- Literal:
|
|
I32:
|
|
- "123"
|
|
- span:
|
|
lo: 0
|
|
hi: 6
|
|
- Literal:
|
|
I32:
|
|
- "123"
|
|
- span:
|
|
lo: 0
|
|
hi: 6
|
|
- Literal:
|
|
I32:
|
|
- "456"
|
|
- span:
|
|
lo: 0
|
|
hi: 6
|
|
- Literal:
|
|
I32:
|
|
- "87377802873778028737780287377802873778028737780287377802873778028737780287377802"
|
|
- span:
|
|
lo: 0
|
|
hi: 83
|
|
- Literal:
|
|
I32:
|
|
- "8737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802"
|
|
- span:
|
|
lo: 0
|
|
hi: 403
|
|
- Literal:
|
|
I32:
|
|
- "340130024"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "158951116"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "155529659"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "642023166"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "228481736"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "469712960"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "929437719"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "721072814"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "363254789"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "906732565"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "288246391"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "724940549"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "487101620"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "261373583"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "891163927"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "743967544"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "8372586"
|
|
- span:
|
|
lo: 0
|
|
hi: 10
|
|
- Literal:
|
|
I32:
|
|
- "461793278"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "806307045"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "122764546"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "356336181"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "158370903"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "774460877"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "557174131"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "492401267"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "893445620"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "957757048"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "721540649"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "390746493"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "211251725"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "938266114"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "156985870"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "703831126"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "729964155"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "988151305"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "320872435"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "719287167"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "152289486"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "740067975"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "728627816"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "385008978"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "553967635"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "71980713"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "519444716"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "116499965"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "717422268"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "18966279"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "22458638"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "857282620"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "920675898"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "762235516"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "469018377"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "199986521"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "536679358"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "591399452"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "83083158"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "599449051"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "445442318"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "585486590"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "209278800"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "873568117"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "664470940"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "465262783"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "605652874"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "376803940"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "965247040"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "598474509"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "845119918"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "648159133"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "669051032"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "800600261"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "434689764"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "520060080"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "804659385"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "537828058"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "716600292"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "387020273"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "199375617"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "680337189"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "818479931"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "893693281"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "87377802"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "84699261"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "292826090"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "569171405"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "387436237"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "150682190"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "888770419"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "824696431"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "765659803"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "270163693"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "427940240"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "504997332"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "337808338"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "907200008"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "757177889"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "696697188"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "41376051"
|
|
- span:
|
|
lo: 0
|
|
hi: 11
|
|
- Literal:
|
|
I32:
|
|
- "496293518"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|
|
- Literal:
|
|
I32:
|
|
- "251218820"
|
|
- span:
|
|
lo: 0
|
|
hi: 12
|