| Test |
Method name |
Duration |
Result |
| [10] -5 |
parseAndVisit(String)[10] |
0.010s |
passed |
| [11] 1 + 1 = 2 |
parseAndVisit(String)[11] |
0.010s |
passed |
| [12] \if (3=4) \then (1) \else (2) |
parseAndVisit(String)[12] |
0.012s |
passed |
| [13] \if (3=4 & 1=1) \then (\if (3=4) \then (1) \else (2)) \else (2) |
parseAndVisit(String)[13] |
0.019s |
passed |
| [14] aa + bb*cc |
parseAndVisit(String)[14] |
0.021s |
passed |
| [15] aa%bb*cc < -123 |
parseAndVisit(String)[15] |
0.012s |
passed |
| [16] \forall int x; true |
parseAndVisit(String)[16] |
0.015s |
passed |
| [17] \forall numbers x; x = x |
parseAndVisit(String)[17] |
0.015s |
passed |
| [18] (int)3+2 |
parseAndVisit(String)[18] |
0.018s |
passed |
| [19] 1.f + 1f = 20e-1f * (2f-1f) |
parseAndVisit(String)[19] |
0.071s |
passed |
| [1] (bprod{int y;}(1, 2, y) = 0) |
parseAndVisit(String)[1] |
0.015s |
passed |
| [20] 1.d + 1d <= 20e+1d * .01d |
parseAndVisit(String)[20] |
0.011s |
passed |
| [21] 1f <= 2f |
parseAndVisit(String)[21] |
0.010s |
passed |
| [22] 2d > 1d |
parseAndVisit(String)[22] |
0.015s |
passed |
| [23] seqEmpty + seqEmpty |
parseAndVisit(String)[23] |
0.019s |
passed |
| [2] 1 = 1 -> 2 = 2 |
parseAndVisit(String)[2] |
0.013s |
passed |
| [3] \< { int x = 1; } \> x=1 |
parseAndVisit(String)[3] |
0.987s |
passed |
| [4] \<{ int x = 1; {int s = 2;} }\> x=x |
parseAndVisit(String)[4] |
0.913s |
passed |
| [5] true |
parseAndVisit(String)[5] |
0.011s |
passed |
| [6] true & false |
parseAndVisit(String)[6] |
0.009s |
passed |
| [7] 0 |
parseAndVisit(String)[7] |
0.011s |
passed |
| [8] 1 |
parseAndVisit(String)[8] |
0.012s |
passed |
| [9] 42 |
parseAndVisit(String)[9] |
0.011s |
passed |