TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.083s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.031s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.015s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.057s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.333s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.021s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.059s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.001s | passed |
| testInstantiateLabels_updates_allRules() | 3.026s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.097s | passed |
| testParseLabel() | 3.028s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.032s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.010s | passed |
| testrefactorGoal_directChildren_allRules() | 3.142s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.011s | passed |
| testrefactorGoal_none_allRules() | 2.987s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.032s | passed |
| testrefactorGoal_sequent_allRules() | 3.070s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.059s | passed |
Standard output
115688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 115688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 115689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115874 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115875 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 116565 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 120017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 120021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 120021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.9ns 120022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 123078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 123078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.5ns 123078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 126106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 126106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.7ns 126107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 129115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns 129116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 132258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.3ns 132259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 135273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.4ns 135274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 138274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.8ns 138275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 141305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.2ns 141306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 144403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 144403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.6ns 144404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 147461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 147461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns 147462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 150491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.6ns 150492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 153561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.2ns 153562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 156594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns 156594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 159625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns 159626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 162684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 162685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 165673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 165673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107ns 165673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 168683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119ns 168684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 171704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 171704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.5ns 171705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s