TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.321s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.256s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.296s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.283s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.683s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.212s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.198s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.215s | passed |
| testInstantiateLabels_updates_allRules() | 3.226s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.369s | passed |
| testParseLabel() | 3.234s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.253s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.243s | passed |
| testrefactorGoal_directChildren_allRules() | 3.239s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.272s | passed |
| testrefactorGoal_none_allRules() | 3.220s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.277s | passed |
| testrefactorGoal_sequent_allRules() | 3.343s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.308s | passed |
Standard output
122415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.3ns 122416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122598 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122598 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122599 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 127094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 127105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.8ns 127107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 130389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.1ns 130390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 133623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.6ns 133624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 136866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns 136867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 140105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns 140106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 143402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.6ns 143403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 146616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 146617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 149893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.1ns 149894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 153262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.7ns 153263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 156570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.1ns 156572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 159796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.1ns 159797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 163139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns 163140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 166394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 166395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 169650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns 169651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 172848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.4ns 172849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 176068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81ns 176069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 179340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 179341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 182551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 182551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.5ns 182552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s