TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.906s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.894s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.917s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.971s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.077s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.893s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.875s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.907s | passed |
| testInstantiateLabels_updates_allRules() | 2.892s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.898s | passed |
| testParseLabel() | 2.920s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.921s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.896s | passed |
| testrefactorGoal_directChildren_allRules() | 2.906s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.941s | passed |
| testrefactorGoal_none_allRules() | 2.884s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.891s | passed |
| testrefactorGoal_sequent_allRules() | 2.946s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.883s | passed |
Standard output
106912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 106912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.2ns 106913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 107047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 107048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 107049 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 107049 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 107640 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 110985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 110989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 110989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.6ns 110990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 113961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 113961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 466.91ns 113962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 116882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 116882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.41ns 116883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 119778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 119778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.2ns 119779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 122684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.9ns 122685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 125602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 125603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 128509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479.11ns 128510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 131400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 131401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 134297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.5ns 134298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 137181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 137182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 140074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.1ns 140075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 143020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.9ns 143021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 145943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.11ns 145945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 148838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.3ns 148839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 151713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 151713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.6ns 151714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 154598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.1ns 154599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 157539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 157539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.1ns 157540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 160432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.9ns 160433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s