TestTermLabelManager

21

tests

0

failures

0

ignored

49.670s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.560s passed
testGetTermLabelManager() 0.002s passed
testInstantiateLabels_applicationTermPolicies() 2.567s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.560s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.532s passed
testInstantiateLabels_directChildPolicies_allRules() 3.551s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.562s passed
testInstantiateLabels_modalityTermPolicies() 2.558s passed
testInstantiateLabels_null() 0s passed
testInstantiateLabels_taclet() 2.595s passed
testInstantiateLabels_updates_allRules() 2.565s passed
testInstantiateLabels_updates_ruleSpecific() 2.568s passed
testParseLabel() 2.557s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.580s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.555s passed
testrefactorGoal_directChildren_allRules() 2.585s passed
testrefactorGoal_directChildren_ruleSpecific() 2.561s passed
testrefactorGoal_none_allRules() 2.541s passed
testrefactorGoal_none_ruleSpecific() 2.579s passed
testrefactorGoal_sequent_allRules() 2.544s passed
testrefactorGoal_sequent_ruleSpecific() 2.548s passed