TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.968s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.998s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.049s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.964s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.467s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.999s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.998s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.035s | passed |
| testInstantiateLabels_updates_allRules() | 2.955s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.948s | passed |
| testParseLabel() | 3.034s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.019s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.982s | passed |
| testrefactorGoal_directChildren_allRules() | 3.045s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.048s | passed |
| testrefactorGoal_none_allRules() | 3.094s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.021s | passed |
| testrefactorGoal_sequent_allRules() | 3.021s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.966s | passed |
Standard output
115129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 115130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.5ns 115131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115308 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115309 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 115310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 116119 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 119592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 119596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 119596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.8ns 119597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 122561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.6ns 122562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 125595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.1ns 125596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 128577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.5ns 128578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 131622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.5ns 131623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 134671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.2ns 134672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 137706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.9ns 137707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 140727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.3ns 140727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 143675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.4ns 143679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 146642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.5ns 146642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 149597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.2ns 149600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 152619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.6ns 152619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 155639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 155639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 158638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 158638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns 158639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 161636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.7ns 161637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 164730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 164730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109ns 164731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 167778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 167778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.9ns 167779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 170778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105ns 170779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s