TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.010s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.073s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.081s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.011s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.129s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.973s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.123s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.113s | passed |
| testInstantiateLabels_updates_allRules() | 3.067s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.045s | passed |
| testParseLabel() | 2.995s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.973s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.074s | passed |
| testrefactorGoal_directChildren_allRules() | 3.159s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.032s | passed |
| testrefactorGoal_none_allRules() | 3.071s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.063s | passed |
| testrefactorGoal_sequent_allRules() | 3.122s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.981s | passed |
Standard output
114494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 114495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.52ns 114496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114632 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114634 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114635 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 118619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 118623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 118623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.3ns 118623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 121633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125ns 121634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 124629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.11ns 124629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 127706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 127708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 130865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.61ns 130866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 133946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.31ns 133947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 137059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.91ns 137060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 140122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.31ns 140123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 143167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.7ns 143167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 146148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.1ns 146149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 149217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.6ns 149218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 152338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 152339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 155315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.82ns 155316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 158388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 158388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.4ns 158389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 161510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.5ns 161511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 164584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 164584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 493.02ns 164585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 167616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 167617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.72ns 167618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 170589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.5ns 170590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s