Package de.uka.ilkd.key.speclang.jml

Failed tests

• TestJMLPreTranslator. testAtInModelmethod()
• TestJMLPreTranslator. testComplexSpec()
• TestJMLPreTranslator. testEnabledKeysLexer()
• TestJMLPreTranslator. testFailure()
• TestJMLPreTranslator. testFailure2()
• TestJMLPreTranslator. testLexer1()
• TestJMLPreTranslator. testLexer10()
• TestJMLPreTranslator. testLexer2()
• TestJMLPreTranslator. testLexer3()
• TestJMLPreTranslator. testLexer4()
• TestJMLPreTranslator. testLexer5()
• TestJMLPreTranslator. testLexer6()
• TestJMLPreTranslator. testLexer7()
• TestJMLPreTranslator. testLexer8()
• TestJMLPreTranslator. testLexer9()
• TestJMLPreTranslator. testMultipleSpecs()
• TestJMLPreTranslator. testSimpleSpec()
• TestJMLTranslator. testBsumBigInt()
• TestJMLTranslator. testBsumInt()
• TestJMLTranslator. testComplexExists()
• TestJMLTranslator. testComplexQueryResolving1()
• TestJMLTranslator. testComplexQueryResolving2()
• TestJMLTranslator. testComplexQueryResolving3()
• TestJMLTranslator. testCorrectImplicitThisResolution()
• TestJMLTranslator. testForAll()
• TestJMLTranslator. testForEx()
• TestJMLTranslator. testHexLiteral()
• TestJMLTranslator. testInfiniteUnion()
• TestJMLTranslator. testInfiniteUnion2()
• TestJMLTranslator. testIsInitialized()
• TestJMLTranslator. testLogicalExpression()
• TestJMLTranslator. testNonNullElements()
• TestJMLTranslator. testOld()
• TestJMLTranslator. testParenExpression()
• TestJMLTranslator. testPrimitiveField()
• TestJMLTranslator. testResultVar()
• TestJMLTranslator. testSelfVar()
• TestJMLTranslator. testSimpleQuery()
• TestJMLTranslator. testStaticQueryResolving()
• TestJMLTranslator. testSubtypeExpression()
• TestJMLTranslator. testSumParsing()
• TestJMLTranslator. testTrueTerm()

Ignored tests

• TestJMLPreTranslator. disabled_testMLCommentEndInSLComment1()
• TestJMLPreTranslator. disabled_testMLCommentEndInSLComment2()

Classes