Package de.uka.ilkd.key.parser

Failed tests

• TestIntLiteralParsing. -2147483649
• TestIntLiteralParsing. 2147483648
• TestIntLiteralParsing. 0x1_0000_0000
• TestIntLiteralParsing. 0b1_0000_0000_0000_0000_0000_0000_0000_0000
• TestIntLiteralParsing. 0400_0000_0000
• TestIntLiteralParsing. -9_223_372_036_854_775_809L
• TestIntLiteralParsing. 9223372036854775808L
• TestIntLiteralParsing. 0x1_0000_0000_0000_0000L
• TestIntLiteralParsing. 0b10000_0000000000_0000000000_0000000000_0000000000_0000000000_0000000000L
• TestIntLiteralParsing. 020_0000_0000_0000_0000_0000L

Ignored tests

• TestDeclParser. testAmbiguousDecls()
• TestDeclParser. testGenericSortDecl5()
• TestParser. testRelativeInclude()
• TestTermParser. test12()
• TestTermParser. testJavaQueryAndAttribute_all()
• TestTermParser. xtestBindingUpdateTermOldBindingAlternative()
• TestTermParser. xtestParsingArrayWithSpaces()

Classes