Package de.uka.ilkd.key.parser
|
46%
successful |
Failed tests
- TestDeclParser. testArrayDecl()
- TestDeclParser. testFunctionDecl()
- TestDeclParser. testGenericSortDecl1()
- TestDeclParser. testGenericSortDecl2()
- TestDeclParser. testGenericSortDecl3()
- TestDeclParser. testGenericSortDecl4()
- TestDeclParser. testGenericSortDecl6()
- TestDeclParser. testHeurDecl()
- TestDeclParser. testPredicateDecl()
- TestDeclParser. testProxySortDecl()
- TestDeclParser. testSVDecl()
- TestDeclParser. testSortDecl()
- TestParser. testConstantEvaluationError()
- TestParser. testIssue1566()
- TestParser. testIssue39()
- TestTacletParser. testFreeReplacewithVariables()
- TestTacletParser. testSchemaJava10()
- TestTacletParser. testSchemaJava4()
- TestTacletParser. testSchemaJava6()
- TestTacletParser. testSchemaJava8()
- TestTermParser. test1()
- TestTermParser. test10()
- TestTermParser. test11()
- TestTermParser. test12()
- TestTermParser. test13()
- TestTermParser. test14()
- TestTermParser. test1a()
- TestTermParser. test2()
- TestTermParser. test3()
- TestTermParser. test5()
- TestTermParser. test6()
- TestTermParser. test7()
- TestTermParser. test8()
- TestTermParser. test9()
- TestTermParser. testAmbigiousFuncVarPred()
- TestTermParser. testAttributeOnObject()
- TestTermParser. testAttributeWithSpecifiedSortOnObject()
- TestTermParser. testBindingUpdateTerm()
- TestTermParser. testBindingUpdateTerm_1()
- TestTermParser. testBindingUpdateTerm_3()
- TestTermParser. testBindingUpdateTerm_4()
- TestTermParser. testBindingUpdateTerm_5()
- TestTermParser. testBindingUpdateTerm_6()
- TestTermParser. testBindingUpdateTerm_7()
- TestTermParser. testBindingUpdateTerm_8()
- TestTermParser. testCast()
- TestTermParser. testIfThenElse()
- TestTermParser. testInfix1()
- TestTermParser. testInfix2()
- TestTermParser. testInfix3()
- TestTermParser. testInfix4()
- TestTermParser. testJavaAttributeAccessBoth_1()
- TestTermParser. testJavaAttributeAccessBoth_2()
- TestTermParser. testJavaAttributeAccessBoth_3()
- TestTermParser. testJavaAttributeAccess_4()
- TestTermParser. testJavaQueryAndAttribute_all()
- TestTermParser. testJavaStaticQuery()
- TestTermParser. testJavaStaticQueryWithParameter()
- TestTermParser. testNegativeLiteralParsing1()
- TestTermParser. testNegativeLiteralParsing2()
- TestTermParser. testNegativeLiteralParsing3()
- TestTermParser. testNotEqual()
- TestTermParser. testParsingArray()
- TestTermParser. testParsingArrayCombination()
- TestTermParser. testProgramVariables()
- TestTermParser. xtestBindingUpdateTermOldBindingAlternative()
- TestTermParser. xtestParsingArrayWithSpaces()
- TestTermParserHeap. testAccessStaticMembers()
- TestTermParserHeap. testAtOperator_1()
- TestTermParserHeap. testAtOperator_2()
- TestTermParserHeap. testAtOperator_3()
- TestTermParserHeap. testAtOperator_4()
- TestTermParserHeap. testAtOperator_5()
- TestTermParserHeap. testAtOperator_6()
- TestTermParserHeap. testAtOperator_7()
- TestTermParserHeap. testAtOperator_8()
- TestTermParserHeap. testBracketHeapUpdate()
- TestTermParserHeap. testBugResettingCounter()
- TestTermParserHeap. testGenericObjectProperties()
- TestTermParserHeap. testParsePrettyPrintedSelect()
- TestTermParserHeap. testQueryBasic_1()
- TestTermParserHeap. testQueryBasic_10()
- TestTermParserHeap. testQueryBasic_11()
- TestTermParserHeap. testQueryBasic_2()
- TestTermParserHeap. testQueryBasic_3()
- TestTermParserHeap. testQueryBasic_4()
- TestTermParserHeap. testQueryBasic_5()
- TestTermParserHeap. testQueryBasic_6()
- TestTermParserHeap. testQueryBasic_7()
- TestTermParserHeap. testQueryBasic_8()
- TestTermParserHeap. testQueryBasic_9()
- TestTermParserHeap. testQueryInheritance_1()
- TestTermParserHeap. testQueryInheritance_2()
- TestTermParserHeap. testQueryInheritance_3()
- TestTermParserHeap. testQueryInheritance_4()
- TestTermParserHeap. testQueryInheritance_5()
- TestTermParserHeap. testQueryInheritance_6()
- TestTermParserHeap. testQueryInheritance_7()
- TestTermParserHeap. testQueryInheritance_8()
- TestTermParserHeap. testQueryInheritance_9()
- TestTermParserHeap. testStore()
- TestTermParserSorts. testParseIntegerArgs()
Ignored tests
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestDeclParser | 14 | 12 | 2 | 2m30.02s | 0% |
| TestIntLiteralParsing | 67 | 0 | 0 | 0.139s | 100% |
| TestJMLParserAssociativity | 1 | 0 | 0 | 3.033s | 100% |
| TestParser | 5 | 3 | 1 | 10.454s | 25% |
| TestTacletParser | 20 | 5 | 0 | 0.157s | 75% |
| TestTermParser | 47 | 47 | 0 | 0.001s | 0% |
| TestTermParserHeap | 39 | 34 | 0 | 0.479s | 12% |
| TestTermParserSorts | 2 | 1 | 0 | 0.166s | 50% |