TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.079s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.146s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.143s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.201s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.479s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.101s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.110s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.095s | passed |
| testInstantiateLabels_updates_allRules() | 3.127s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.111s | passed |
| testParseLabel() | 3.210s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.120s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.200s | passed |
| testrefactorGoal_directChildren_allRules() | 3.149s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.138s | passed |
| testrefactorGoal_none_allRules() | 3.167s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.132s | passed |
| testrefactorGoal_sequent_allRules() | 3.089s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.136s | passed |
Standard output
113777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 113777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns 113778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113958 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 113959 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 113959 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 113960 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114671 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 118252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 118256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 118256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.6ns 118256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 121457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.21ns 121458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 124667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.31ns 124668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 127869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.91ns 127870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 131017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 131017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 134159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns 134160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 137255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.7ns 137256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 140388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.82ns 140390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 143498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.2ns 143499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 146634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.2ns 146635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 149761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.7ns 149761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 152850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.1ns 152851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 155971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns 155972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 159119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.7ns 159119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 162228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.11ns 162229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 165397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 165397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.11ns 165398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 168536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.42ns 168537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 171637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 171637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.5ns 171638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s