TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.228s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.212s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.197s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.312s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.032s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.149s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.112s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.283s | passed |
| testInstantiateLabels_updates_allRules() | 3.141s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.242s | passed |
| testParseLabel() | 3.284s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.163s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.318s | passed |
| testrefactorGoal_directChildren_allRules() | 3.212s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.198s | passed |
| testrefactorGoal_none_allRules() | 3.146s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.225s | passed |
| testrefactorGoal_sequent_allRules() | 3.208s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.215s | passed |
Standard output
124785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 845.41ns 124787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125067 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125946 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 129813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 129817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.5ns 129818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 133129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.6ns 133130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 136414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.7ns 136414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 139731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns 139731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 142944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 142944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.21ns 142945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 146142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122ns 146143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 149425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 468.2ns 149427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 152650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 152651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 155892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.6ns 155893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 159107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.4ns 159108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 162248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.4ns 162253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 165456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 165456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns 165457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 168621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.6ns 168623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 171833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 171833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.6ns 171834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 174945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 174945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns 174945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 178091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 178092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.2ns 178092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 181289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 181289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.3ns 181289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 184438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 184438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107ns 184439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s