TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.397s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.310s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.399s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.374s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.780s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.385s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.420s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.368s | passed |
| testInstantiateLabels_updates_allRules() | 3.331s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.345s | passed |
| testParseLabel() | 3.478s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.400s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.402s | passed |
| testrefactorGoal_directChildren_allRules() | 3.430s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.378s | passed |
| testrefactorGoal_none_allRules() | 3.357s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.362s | passed |
| testrefactorGoal_sequent_allRules() | 3.424s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.450s | passed |
Standard output
127427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns 127428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127643 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127643 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127644 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127644 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 132200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 132204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99ns 132205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 135578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.8ns 135579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 139056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns 139057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 142458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 142458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.8ns 142459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 145888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174ns 145889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 149287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 149288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 152655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.7ns 152656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 156017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.6ns 156018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 159362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.5ns 159362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 162812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.9ns 162813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 166143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.1ns 166144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 169568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.69ns 169569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 172971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.69ns 172972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 176281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.7ns 176282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 179702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.6ns 179703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 183059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125ns 183060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 186437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns 186438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 189823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 189823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.69ns 189824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s