TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.130s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.905s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.245s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.109s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.830s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.967s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.196s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.013s | passed |
| testInstantiateLabels_updates_allRules() | 3.049s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.297s | passed |
| testParseLabel() | 3.292s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.024s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.965s | passed |
| testrefactorGoal_directChildren_allRules() | 3.041s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.947s | passed |
| testrefactorGoal_none_allRules() | 3.218s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.856s | passed |
| testrefactorGoal_sequent_allRules() | 3.115s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.183s | passed |
Standard output
133350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.5ns 133350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133601 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133601 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133601 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133601 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 138168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 138168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns 138168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 141277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268ns 141292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 144569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.8ns 144569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 147527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 147527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 150576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.3ns 150576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 153837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.6ns 153837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 156835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.5ns 156835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 159685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.99ms 159702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 162989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.51ms 163004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 166179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns 166183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 169221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.8ns 169221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 172336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns 172336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 175360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.1ns 175360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 178275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.6ns 178275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 181467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.2ns 181482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 184685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns 184700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 187636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135ns 187636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 190601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.8ns 190601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s