TestTermLabelManager

21

tests

0

failures

0

ignored

50.590s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.591s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 2.617s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.605s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.598s passed
testInstantiateLabels_directChildPolicies_allRules() 3.582s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.615s passed
testInstantiateLabels_modalityTermPolicies() 2.618s passed
testInstantiateLabels_null() 0s passed
testInstantiateLabels_taclet() 2.618s passed
testInstantiateLabels_updates_allRules() 2.635s passed
testInstantiateLabels_updates_ruleSpecific() 2.620s passed
testParseLabel() 2.628s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.615s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.606s passed
testrefactorGoal_directChildren_allRules() 2.633s passed
testrefactorGoal_directChildren_ruleSpecific() 2.611s passed
testrefactorGoal_none_allRules() 2.592s passed
testrefactorGoal_none_ruleSpecific() 2.606s passed
testrefactorGoal_sequent_allRules() 2.598s passed
testrefactorGoal_sequent_ruleSpecific() 2.601s passed