TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.277s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.246s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.269s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.410s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.011s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.275s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.281s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.281s | passed |
| testInstantiateLabels_updates_allRules() | 3.242s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.221s | passed |
| testParseLabel() | 3.136s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.272s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.077s | passed |
| testrefactorGoal_directChildren_allRules() | 3.185s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.228s | passed |
| testrefactorGoal_none_allRules() | 3.245s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.228s | passed |
| testrefactorGoal_sequent_allRules() | 3.372s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.292s | passed |
Standard output
126593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.5ns 126593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 126827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 126827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 126827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 131581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 131596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606ns 131596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 135022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.1ns 135022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 138154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.3ns 138154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 141221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 141221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 144422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 144422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 147676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns 147692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 150977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns 150980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 154186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.67ms 154186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 157407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.5ns 157407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 160699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns 160699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 163956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.6ns 163956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 167313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.8ns 167313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 170601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns 170601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 173852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns 173852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 177118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 177118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 180363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.2ns 180363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 183606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.2ns 183606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 186882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.8ns 186882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s