TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.355s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.424s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.516s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.418s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.870s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.433s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.412s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 3.513s | passed |
| testInstantiateLabels_updates_allRules() | 3.428s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.469s | passed |
| testParseLabel() | 3.466s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.486s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.511s | passed |
| testrefactorGoal_directChildren_allRules() | 3.536s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.433s | passed |
| testrefactorGoal_none_allRules() | 3.563s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.506s | passed |
| testrefactorGoal_sequent_allRules() | 3.465s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.441s | passed |
Standard output
129286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172ns 129287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129464 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130220 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 134151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 134158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.1ns 134159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 137576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.3ns 137578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 141042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.11ns 141043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 144553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 144553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 144554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 148090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.21ns 148092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 151607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 151608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463ns 151609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 155122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.11ns 155124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 158628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 158629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.9ns 158629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 162097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.2ns 162099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 165538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 165538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns 165539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 168966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 168967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 172432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.2ns 172433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 175920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 175924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.07ms 175925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 179345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 179346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 182757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 182757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.1ns 182758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 186324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.5ns 186327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 189756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 189756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.7ns 189757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 193190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 193191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.7ns 193192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s