TestTermLabelManager

21

tests

0

failures

0

ignored

1m5.33s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 3.339s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 3.366s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 3.396s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 3.364s passed
testInstantiateLabels_directChildPolicies_allRules() 4.986s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 3.372s passed
testInstantiateLabels_modalityTermPolicies() 3.343s passed
testInstantiateLabels_null() 0.001s passed
testInstantiateLabels_taclet() 3.417s passed
testInstantiateLabels_updates_allRules() 3.299s passed
testInstantiateLabels_updates_ruleSpecific() 3.350s passed
testParseLabel() 3.369s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 3.346s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 3.347s passed
testrefactorGoal_directChildren_allRules() 3.411s passed
testrefactorGoal_directChildren_ruleSpecific() 3.340s passed
testrefactorGoal_none_allRules() 3.301s passed
testrefactorGoal_none_ruleSpecific() 3.359s passed
testrefactorGoal_sequent_allRules() 3.320s passed
testrefactorGoal_sequent_ruleSpecific() 3.306s passed