Package de.uka.ilkd.key.logic

Failed tests

• 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()
• 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