TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.656s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.701s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.954s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.953s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.216s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.675s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.702s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.807s | passed |
| testInstantiateLabels_updates_allRules() | 2.692s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.844s | passed |
| testParseLabel() | 2.830s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.708s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.769s | passed |
| testrefactorGoal_directChildren_allRules() | 2.966s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.686s | passed |
| testrefactorGoal_none_allRules() | 2.691s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.829s | passed |
| testrefactorGoal_sequent_allRules() | 2.687s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.842s | passed |
Standard output
110329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.9ns 110329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110532 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110532 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110532 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110532 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 111360 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 114520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 114536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 114536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns 114536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 117490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555ns 117490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 120320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 120320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 123086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.8ns 123102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 126057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 572.6ns 126057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 129012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.4ns 129027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 131825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 502.8ns 131825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 134655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.6ms 134671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 137500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517ns 137500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 140362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238ns 140362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 143035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.3ns 143035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 145724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.4ns 145724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 148446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.8ns 148446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 151150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.6ns 151150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 153840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 153855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 156545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 156545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 159218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.7ns 159218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 161892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.7ns 161907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s