TestTermLabelManager

21

tests

0

failures

0

ignored

1m1.68s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 3.103s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 3.176s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 3.153s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 3.299s passed
testInstantiateLabels_directChildPolicies_allRules() 4.400s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 3.081s passed
testInstantiateLabels_modalityTermPolicies() 3.162s passed
testInstantiateLabels_null() 0.004s passed
testInstantiateLabels_taclet() 3.208s passed
testInstantiateLabels_updates_allRules() 3.164s passed
testInstantiateLabels_updates_ruleSpecific() 3.130s passed
testParseLabel() 3.257s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 3.189s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 3.312s passed
testrefactorGoal_directChildren_allRules() 3.282s passed
testrefactorGoal_directChildren_ruleSpecific() 3.112s passed
testrefactorGoal_none_allRules() 3.158s passed
testrefactorGoal_none_ruleSpecific() 3.159s passed
testrefactorGoal_sequent_allRules() 3.097s passed
testrefactorGoal_sequent_ruleSpecific() 3.231s passed