TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.142s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.199s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.174s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.285s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.617s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.174s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.141s | passed |
| testInstantiateLabels_null() | 0.003s | passed |
| testInstantiateLabels_taclet() | 3.188s | passed |
| testInstantiateLabels_updates_allRules() | 3.174s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.283s | passed |
| testParseLabel() | 3.299s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.157s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.518s | passed |
| testrefactorGoal_directChildren_allRules() | 3.282s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.138s | passed |
| testrefactorGoal_none_allRules() | 3.159s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.175s | passed |
| testrefactorGoal_sequent_allRules() | 3.173s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.174s | passed |
Standard output
121607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.9ns 121607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122639 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 126219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 126235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.1ns 126235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 129504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.7ns 129504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 132803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.5ns 132819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 136321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181ns 136321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 139604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.2ns 139604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 142794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 520ns 142794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 145968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.9ns 145968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 149143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns 149143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 152426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 152426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 155600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 155615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 158774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 548.3ns 158774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 161947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns 161947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 165105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.15ms 165121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 168310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 796ns 168310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 171452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.5ns 171452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 174611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.3ns 174611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 177768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.6ns 177768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 180927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246ns 180942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s