Package de.uka.ilkd.key.logic

Failed tests

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

Ignored tests

• TestClashFreeSubst. xtestMultiClash()
• TestClashFreeSubst. xtestMultiClash1()

Classes