TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.690s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.643s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.529s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.532s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.302s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.939s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.689s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.596s | passed |
| testInstantiateLabels_updates_allRules() | 3.643s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.840s | passed |
| testParseLabel() | 3.519s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.656s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.564s | passed |
| testrefactorGoal_directChildren_allRules() | 3.641s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.735s | passed |
| testrefactorGoal_none_allRules() | 3.705s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.489s | passed |
| testrefactorGoal_sequent_allRules() | 3.535s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.674s | passed |
Standard output
141570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 762ns 141570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141820 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141820 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141820 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141820 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142789 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 146854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 146870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 146870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 150402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.3ns 150402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 153936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.06ms 153936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 157485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 157501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 161144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 634.7ns 161144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 164663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 164678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 168259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.9ns 168259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 172749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.42ms 172769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 176590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.5ns 176605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 180391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299ns 180391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 183909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.41ms 183925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 187444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.8ns 187444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 191117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584.1ns 191117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 194760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 194760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 198450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.7ns 198450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 202155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 202155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 205892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 611.3ns 205892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 209832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms 209832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s