mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 20:24:52 +03:00
f502b9c5e9
Instead of commenting out this failing test, it seem better to add to a new file for failing tests. If and when we change Leo to accept field literals in hex, we can move the test from the Fail file to the Pass fail. This also helps the ACL2 tester, which is currently not handling comment-out tests of this form.
114 lines
2.0 KiB
Plaintext
114 lines
2.0 KiB
Plaintext
/*
|
|
namespace: ParseExpression
|
|
expectation: Pass
|
|
*/
|
|
|
|
123field
|
|
|
|
123field
|
|
456field
|
|
|
|
87377802873778028737780287377802873778028737780287377802873778028737780287377802field
|
|
|
|
8737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802field
|
|
|
|
340130024field
|
|
158951116field
|
|
155529659field
|
|
642023166field
|
|
228481736field
|
|
469712960field
|
|
929437719field
|
|
721072814field
|
|
363254789field
|
|
906732565field
|
|
288246391field
|
|
724940549field
|
|
487101620field
|
|
261373583field
|
|
891163927field
|
|
743967544field
|
|
8372586field
|
|
461793278field
|
|
806307045field
|
|
122764546field
|
|
356336181field
|
|
158370903field
|
|
774460877field
|
|
557174131field
|
|
492401267field
|
|
893445620field
|
|
957757048field
|
|
721540649field
|
|
390746493field
|
|
211251725field
|
|
938266114field
|
|
156985870field
|
|
703831126field
|
|
729964155field
|
|
988151305field
|
|
320872435field
|
|
719287167field
|
|
152289486field
|
|
740067975field
|
|
728627816field
|
|
385008978field
|
|
553967635field
|
|
71980713field
|
|
519444716field
|
|
116499965field
|
|
717422268field
|
|
18966279field
|
|
22458638field
|
|
857282620field
|
|
920675898field
|
|
762235516field
|
|
469018377field
|
|
199986521field
|
|
536679358field
|
|
591399452field
|
|
83083158field
|
|
599449051field
|
|
445442318field
|
|
585486590field
|
|
209278800field
|
|
873568117field
|
|
664470940field
|
|
465262783field
|
|
605652874field
|
|
376803940field
|
|
965247040field
|
|
598474509field
|
|
845119918field
|
|
648159133field
|
|
669051032field
|
|
800600261field
|
|
434689764field
|
|
520060080field
|
|
804659385field
|
|
537828058field
|
|
716600292field
|
|
387020273field
|
|
199375617field
|
|
680337189field
|
|
818479931field
|
|
893693281field
|
|
87377802field
|
|
84699261field
|
|
292826090field
|
|
569171405field
|
|
387436237field
|
|
150682190field
|
|
888770419field
|
|
824696431field
|
|
765659803field
|
|
270163693field
|
|
427940240field
|
|
504997332field
|
|
337808338field
|
|
907200008field
|
|
757177889field
|
|
696697188field
|
|
41376051field
|
|
496293518field
|
|
251218820field |