Package de.uka.ilkd.key.nparser

Failed tests

• ExprTest. [10] -5
• ExprTest. [11] 1 + 1 = 2
• ExprTest. [12] \if (3=4) \then (1) \else (2)
• ExprTest. [13] \if (3=4 & 1=1) \then (\if (3=4) \then (1) \else (2)) \else (2)
• ExprTest. [14] aa + bb*cc
• ExprTest. [15] aa%bb*cc < -123
• ExprTest. [16] \forall int x; true
• ExprTest. [17] \forall numbers x; x = x
• ExprTest. [18] (int)3+2
• ExprTest. [19] 1.f + 1f = 20e-1f * (2f-1f)
• ExprTest. [1] (bprod{int y;}(1, 2, y) = 0)
• ExprTest. [20] 1.d + 1d <= 20e+1d * .01d
• ExprTest. [21] 1f <= 2f
• ExprTest. [22] 2d > 1d
• ExprTest. [23] seqEmpty + seqEmpty
• ExprTest. [2] 1 = 1 -> 2 = 2
• ExprTest. [3] \< { int x = 1; } \> x=1
• ExprTest. [4] \<{ int x = 1; {int s = 2;} }\> x=x
• ExprTest. [5] true
• ExprTest. [6] true & false
• ExprTest. [7] 0
• ExprTest. [8] 1
• ExprTest. [9] 42
• ParseLDTsTests. testLDT()
• ParseLDTsTests. testSR()
• TestTacletEquality. initializationError

Classes