Package de.uka.ilkd.key.logic

Failed tests

• LabeledTermImplTest. testEqualsLabelOnTop()
• LabeledTermImplTest. testGetHasAndContainsLabels()
• TestClashFreeSubst. testClash()
• TestClashFreeSubst. testClashInSubstTerm()
• TestClashFreeSubst. testMultiShareBound()
• TestClashFreeSubst. testMultiSubst()
• TestClashFreeSubst. testShare()
• TestClashFreeSubst. testShareWary()
• TestClashFreeSubst. testSubst()
• TestClashFreeSubst. testSubstInSubstTerm()
• TestClashFreeSubst. testSubstWary()
• TestClashFreeSubst. testWary0()
• TestClashFreeSubst. testWary1()
• TestClashFreeSubst. testWary2()
• TestClashFreeSubst. xtestMultiClash()
• TestClashFreeSubst. xtestMultiClash1()
• TestLocalSymbols. testDoubleInstantiation()
• TestLocalSymbols. testSkolemization()
• TestPosInOcc. testIterator()
• TestPosInOcc. testReplaceConstrainedFormula()
• TestSemisequent. testContains()
• TestSemisequent. testContainsEquals()
• TestSemisequent. testEquals()
• TestSemisequent. testGet()
• TestSemisequent. testImmutable()
• TestSemisequent. testListInsert()
• TestSemisequent. testListInsertInMid()
• TestSemisequent. testListReplace()
• TestSemisequent. testListReplaceAddRedundantList()
• TestSemisequent. testNoDuplicates()
• TestSemisequent. testRemove()
• TestSemisequent. testRemoveOrder()
• TestSemisequent. testReplace()
• TestSemisequent. testUniqueEmpty()
• TestSemisequent. testindexOf()
• TestSyntacticalReplaceVisitor. test1()
• TestSyntacticalReplaceVisitor. testSubstitutionReplacement()
• TestTerm. testEqualsModRenaming()
• TestTerm. testEqualsModRenamingWithLabels()
• TestTerm. testFreeVars1()
• TestTerm. testFreeVars2()
• TestTerm. testFreeVars3()
• TestTerm. testFreeVars4()
• TestTerm. testIsContainsJavaBlockRecursive()
• TestTerm. testProgramElementEqualsModRenaming()
• TestTerm. testRigidness0()
• TestTermBuilder. testDoubleLongPatterns()
• TestTermBuilder. testFloatPatterns()
• TestTermBuilder. testNumberIsNegativeInt()
• TestTermBuilder. testNumberIsPositiveInt()
• TestTermBuilder. testNumberIsVeryBigPositiveInteger()
• TestTermBuilder. testNumberIsVerySmallNegativeInteger()
• TestTermFactory. testBoxTerm()
• TestTermFactory. testCaching()
• TestTermFactory. testConstantTrue()
• TestTermFactory. testDiamondTerm()
• TestTermFactory. testJunctorTerm()
• TestTermFactory. testJunctorTermWithWrongArity()
• TestTermFactory. testNegationTerm()
• TestTermFactory. testQuantifierTerm()
• TestTermFactory. testQuantifierWithNoBoundSubTerms()
• TestTermFactory. testSimplePredicate()
• TestTermFactory. testSubSorts1()
• TestTermFactory. testSubSortsEquals()
• TestTermFactory. testSubSortsSubst()
• TestTermFactory. testSubstitutionTerm()
• TestTermFactory. testSubtermsForLogicVariable()
• TestTermFactory. testWithInvalidSubformulae()
• TestTermFactory. testWrongArity()
• TestTermFactory. testWrongSorts()
• TestTermFactory. testWrongSubstTermForLogicVariable()
• TestTermLabelManager. testGetSupportedTermLabelNames()
• TestTermLabelManager. testInstantiateLabels_applicationTermPolicies()
• TestTermLabelManager. testInstantiateLabels_childAndGrandchildPolicies_allRules()
• TestTermLabelManager. testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific()
• TestTermLabelManager. testInstantiateLabels_directChildPolicies_allRules()
• TestTermLabelManager. testInstantiateLabels_directChildPolicies_ruleSpecific()
• TestTermLabelManager. testInstantiateLabels_modalityTermPolicies()
• TestTermLabelManager. testInstantiateLabels_taclet()
• TestTermLabelManager. testInstantiateLabels_updates_allRules()
• TestTermLabelManager. testInstantiateLabels_updates_ruleSpecific()
• TestTermLabelManager. testParseLabel()
• TestTermLabelManager. testrefactorGoal_childrenAndGrandchildren_allRules()
• TestTermLabelManager. testrefactorGoal_childrenAndGrandchildren_ruleSpecific()
• TestTermLabelManager. testrefactorGoal_directChildren_allRules()
• TestTermLabelManager. testrefactorGoal_directChildren_ruleSpecific()
• TestTermLabelManager. testrefactorGoal_none_allRules()
• TestTermLabelManager. testrefactorGoal_none_ruleSpecific()
• TestTermLabelManager. testrefactorGoal_sequent_allRules()
• TestTermLabelManager. testrefactorGoal_sequent_ruleSpecific()

Classes