TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.609s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.441s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.617s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.603s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.106s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.541s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.479s | passed |
| testInstantiateLabels_null() | 0.008s | passed |
| testInstantiateLabels_taclet() | 3.586s | passed |
| testInstantiateLabels_updates_allRules() | 3.505s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.692s | passed |
| testParseLabel() | 3.610s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.511s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.754s | passed |
| testrefactorGoal_directChildren_allRules() | 3.644s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.548s | passed |
| testrefactorGoal_none_allRules() | 3.507s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.670s | passed |
| testrefactorGoal_sequent_allRules() | 3.602s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.581s | passed |
Standard output
130690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 662.8ns 130692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130894 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 131800 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 135791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 135798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 135799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 139400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.2ns 139401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 143011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 572.6ns 143013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 146766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.8ns 146767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 150409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns 150410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 154026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.7ns 154026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 157612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 157612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns 157613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 161283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.8ns 161284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 164975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 164975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns 164976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 168556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104ns 168557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 172062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102ns 172063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 175663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 175663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.3ns 175664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 179175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.7ns 179176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 182616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 182616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns 182617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 186095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.4ns 186096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 189612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 189614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.43ms 189615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 193160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 193160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.8ns 193161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 196701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 196701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.4ns 196702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s