TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.267s | passed |
| testGetTermLabelManager() | 0.012s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.270s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.237s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.328s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.976s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.283s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.219s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.329s | passed |
| testInstantiateLabels_updates_allRules() | 3.297s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.283s | passed |
| testParseLabel() | 3.376s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.314s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.361s | passed |
| testrefactorGoal_directChildren_allRules() | 3.410s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.281s | passed |
| testrefactorGoal_none_allRules() | 3.189s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.220s | passed |
| testrefactorGoal_sequent_allRules() | 3.203s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.316s | passed |
Standard output
133017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.7ns 133032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133267 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133267 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133267 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133267 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 137989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 137989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 138004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 141318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 836.5ns 141318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 144695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 144695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 148056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.8ns 148056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 151467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.2ns 151467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 154704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.9ns 154704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 158034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.2ns 158050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 161254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms 161270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 164537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.3ns 164537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 167853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 167853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 171150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.6ns 171150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 174355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns 174355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 177686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 678.3ns 177686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 180954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573ns 180954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 184174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.3ns 184174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 187363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.7ns 187363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 190646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.9ns 190646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 193929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 193945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s