Package de.uka.ilkd.key.parser

all > de.uka.ilkd.key.parser

134

tests

130

failures

ignored

1.192s

duration

successful

Failed tests
Ignored tests
Classes

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()
TestIntLiteralParsing. initializationError
TestIntLiteralParsing. initializationError
TestIntLiteralParsing. initializationError
TestIntLiteralParsing. initializationError
TestIntLiteralParsing. initializationError
TestJMLParserAssociativity. testLeftAssociativity()
TestParallelParsing. testLoadingOfTwoDifferentProofFiles()
TestParser. testConstantEvaluationError()
TestParser. testGenericSort()
TestParser. testIssue1566()
TestTacletParser. testAllLeft()
TestTacletParser. testAllRight()
TestTacletParser. testClose()
TestTacletParser. testContraposition()
TestTacletParser. testCut()
TestTacletParser. testExConjSplit()
TestTacletParser. testFIdempotent()
TestTacletParser. testFreeReplacewithVariables()
TestTacletParser. testImpLeft()
TestTacletParser. testImpRight()
TestTacletParser. testMakeInsertEq()
TestTacletParser. testSchemaJava0()
TestTacletParser. testSchemaJava1()
TestTacletParser. testSchemaJava10()
TestTacletParser. testSchemaJava11()
TestTacletParser. testSchemaJava2()
TestTacletParser. testSchemaJava4()
TestTacletParser. testSchemaJava6()
TestTacletParser. testSchemaJava8()
TestTacletParser. testVarcondNew()
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. testAllFieldsSelector()
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. testLocationSets()
TestTermParserHeap. testParsePrettyPrintedSelect()
TestTermParserHeap. testQuantifiedSelect()
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()
TestTermParserHeap. testUnknownConstant()
TestTermParserHeap. testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm()
TestTermParserSorts. testParseIntegerArgs()
TestTermParserSorts. testParseSequencePrettySyntax()

Ignored tests

TestDeclParser. testAmbiguousDecls()
TestDeclParser. testGenericSortDecl5()
TestParser. testRelativeInclude()

Classes

Class	Tests	Failures	Ignored	Duration	Success rate
TestDeclParser	14	12	2	0.977s	0%
TestIntLiteralParsing	5	5	0	0.015s	0%
TestJMLParserAssociativity	1	1	0	0s	0%
TestParallelParsing	1	1	0	0.038s	0%
TestParser	5	3	1	0.013s	25%
TestTacletParser	20	20	0	0.078s	0%
TestTermParser	47	47	0	0.036s	0%
TestTermParserHeap	39	39	0	0.035s	0%
TestTermParserSorts	2	2	0	0s	0%