TestTermLabelManager

21

tests

0

failures

0

ignored

48.423s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.455s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 2.498s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.547s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.521s passed
testInstantiateLabels_directChildPolicies_allRules() 3.484s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.508s passed
testInstantiateLabels_modalityTermPolicies() 2.462s passed
testInstantiateLabels_null() 0.001s passed
testInstantiateLabels_taclet() 2.486s passed
testInstantiateLabels_updates_allRules() 2.468s passed
testInstantiateLabels_updates_ruleSpecific() 2.486s passed
testParseLabel() 2.546s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.506s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.562s passed
testrefactorGoal_directChildren_allRules() 2.513s passed
testrefactorGoal_directChildren_ruleSpecific() 2.470s passed
testrefactorGoal_none_allRules() 2.477s passed
testrefactorGoal_none_ruleSpecific() 2.470s passed
testrefactorGoal_sequent_allRules() 2.486s passed
testrefactorGoal_sequent_ruleSpecific() 2.476s passed