TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.654s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.662s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.642s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.649s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.837s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.676s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.664s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.698s | passed |
| testInstantiateLabels_updates_allRules() | 2.637s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.649s | passed |
| testParseLabel() | 2.650s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.652s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.692s | passed |
| testrefactorGoal_directChildren_allRules() | 2.666s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.640s | passed |
| testrefactorGoal_none_allRules() | 2.657s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.696s | passed |
| testrefactorGoal_sequent_allRules() | 2.663s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.662s | passed |
Standard output
102058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 102058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 102058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 102214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 102214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 102214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 102214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 102793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 105889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 105889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 105889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.8ns 105905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 108546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.4ns 108546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 111189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 544.2ns 111204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 113894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.6ns 113894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 116551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.2ns 116566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 119207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.2ns 119207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 121897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.6ns 121897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 124586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.7ns 124586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 127243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns 127243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 129901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.6ns 129901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 132542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.8ns 132558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 135217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.8ns 135217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 137858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506ns 137858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 140532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.3ns 140532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 143190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns 143190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 145848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.4ns 145848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 148505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.5ns 148505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 151177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619ns 151177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s