TestTermLabelManager

21

tests

0

failures

0

ignored

1m2.60s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 3.307s passed
testGetTermLabelManager() 0.002s passed
testInstantiateLabels_applicationTermPolicies() 3.353s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 3.187s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 3.331s passed
testInstantiateLabels_directChildPolicies_allRules() 4.430s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 3.323s passed
testInstantiateLabels_modalityTermPolicies() 3.278s passed
testInstantiateLabels_null() 0.003s passed
testInstantiateLabels_taclet() 3.153s passed
testInstantiateLabels_updates_allRules() 3.292s passed
testInstantiateLabels_updates_ruleSpecific() 3.100s passed
testParseLabel() 3.261s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 3.261s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.967s passed
testrefactorGoal_directChildren_allRules() 3.086s passed
testrefactorGoal_directChildren_ruleSpecific() 3.335s passed
testrefactorGoal_none_allRules() 3.320s passed
testrefactorGoal_none_ruleSpecific() 3.159s passed
testrefactorGoal_sequent_allRules() 3.270s passed
testrefactorGoal_sequent_ruleSpecific() 3.185s passed