TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.642s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.645s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.439s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.518s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.396s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.587s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.738s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.500s | passed |
| testInstantiateLabels_updates_allRules() | 4.662s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.608s | passed |
| testParseLabel() | 4.404s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.551s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.513s | passed |
| testrefactorGoal_directChildren_allRules() | 4.428s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.977s | passed |
| testrefactorGoal_none_allRules() | 4.724s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.481s | passed |
| testrefactorGoal_sequent_allRules() | 4.569s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.620s | passed |
Standard output
163369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365.8ns 163370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163594 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163595 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164534 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 169760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.39s 169765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.8ns 169766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 174283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 174283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.4ns 174285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 178687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 178687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 178688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 183201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.9ns 183203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 187629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 187629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.3ns 187630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 192068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 192068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 192069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 196568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 196568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.9ns 196569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 201049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 201049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 201050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 205658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 205658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 205659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 210277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 210277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.4ns 210278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 214939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 214939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.7ns 214940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 219508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 219508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.9ns 219509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 224061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 224061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.9ns 224061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 228705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 228705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.7ns 228706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 233443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 233443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.6ns 233444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 238168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 238168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.3ns 238169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 243137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 243144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 243144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.7ns 243145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 247731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 247731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 247732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s