TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.275s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.285s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.299s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.459s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.471s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.270s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.255s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.319s | passed |
| testInstantiateLabels_updates_allRules() | 4.305s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.341s | passed |
| testParseLabel() | 4.420s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.326s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.483s | passed |
| testrefactorGoal_directChildren_allRules() | 4.421s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.269s | passed |
| testrefactorGoal_none_allRules() | 4.271s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.299s | passed |
| testrefactorGoal_sequent_allRules() | 4.336s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.318s | passed |
Standard output
170884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.5ns 170899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 171150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 171150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 171150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 172128 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 177317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.42s 177317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.4ns 177317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 181776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276ns 181776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 186196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.1ns 186196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 190679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 190679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 195117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.14ms 195117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 199421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 677.3ns 199421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 203726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.61ms 203726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 208026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.2ns 208041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 212367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.3ns 212367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 216686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.6ns 216686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 221008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.1ns 221008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 225328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 960.4ns 225328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 229655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.9ns 229655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 233943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.7ns 233943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 238199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.9ns 238199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 242470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 242470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630.9ns 242485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 246742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.1ns 246758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 251012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 251012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 251028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.1ns 251028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s