TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.297s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.246s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.259s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.234s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.875s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.255s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.217s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.259s | passed |
| testInstantiateLabels_updates_allRules() | 3.267s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.307s | passed |
| testParseLabel() | 3.223s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.293s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.284s | passed |
| testrefactorGoal_directChildren_allRules() | 3.280s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.280s | passed |
| testrefactorGoal_none_allRules() | 3.287s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.250s | passed |
| testrefactorGoal_sequent_allRules() | 3.281s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.262s | passed |
Standard output
124275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.5ns 124291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125245 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 129130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 129145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.1ns 129145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 132380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.3ns 132395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 135620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308ns 135620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 138888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181ns 138888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 142168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms 142168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 145428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 145428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 148688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 148688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 151938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.08ms 151938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 155246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.7ns 155246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 158517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.3ns 158517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 161785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.9ns 161800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 165066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns 165066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 168359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns 168359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 171611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.6ns 171611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 174829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.9ns 174829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 178116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.5ns 178131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 181398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.3ns 181398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 184669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.5ns 184669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s