TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.878s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.022s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.114s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.121s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.671s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.871s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.046s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.138s | passed |
| testInstantiateLabels_updates_allRules() | 3.059s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.075s | passed |
| testParseLabel() | 3.189s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.170s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.213s | passed |
| testrefactorGoal_directChildren_allRules() | 3.198s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.973s | passed |
| testrefactorGoal_none_allRules() | 2.900s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.048s | passed |
| testrefactorGoal_sequent_allRules() | 3.094s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.032s | passed |
Standard output
121134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612.1ns 121136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121354 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121355 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121363 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121364 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122213 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 125801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 125805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.2ns 125807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 128926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 128927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 132115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.2ns 132117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 135328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.2ns 135329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 138526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 138527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 141640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.2ns 141641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 144778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 144778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 144779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 147826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 147826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.5ns 147827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 150902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.4ns 150902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 153933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.7ns 153934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 156992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.5ns 156993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 160090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.93ms 160094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 163263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.9ns 163264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 166284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.6ns 166285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 169329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.3ns 169330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 172230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.5ns 172230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 175203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 175203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131ns 175203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 178074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 178074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.7ns 178075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s