TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.463s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.449s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.544s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.539s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.013s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.510s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.454s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.444s | passed |
| testInstantiateLabels_updates_allRules() | 3.482s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.459s | passed |
| testParseLabel() | 3.591s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.472s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.483s | passed |
| testrefactorGoal_directChildren_allRules() | 3.563s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.601s | passed |
| testrefactorGoal_none_allRules() | 3.448s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.493s | passed |
| testrefactorGoal_sequent_allRules() | 3.461s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.488s | passed |
Standard output
129520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.9ns 129521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129708 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129709 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129710 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129710 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 134524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 134535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.7ns 134536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 138071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.7ns 138072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 141662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.2ns 141663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 145145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.5ns 145146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 148708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.1ns 148709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 152254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns 152256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 155696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 627.1ns 155698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 159189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns 159189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 162648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.6ns 162649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 166136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns 166137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 169623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511.7ns 169625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 173084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 173084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.5ns 173085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 176558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.7ns 176558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 180006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 180006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.6ns 180007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 183460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.7ns 183461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 186908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.8ns 186909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 190509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 190509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 190510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 194019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 194019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns 194019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s