TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.893s | passed |
| testGetTermLabelManager() | 0.009s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.977s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.033s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.972s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.238s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.879s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.846s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.972s | passed |
| testInstantiateLabels_updates_allRules() | 4.925s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.985s | passed |
| testParseLabel() | 4.923s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.940s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.142s | passed |
| testrefactorGoal_directChildren_allRules() | 5.111s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.891s | passed |
| testrefactorGoal_none_allRules() | 4.941s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.034s | passed |
| testrefactorGoal_sequent_allRules() | 5.003s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.924s | passed |
Standard output
202804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.1ns 202804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203188 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 203188 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 203188 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 203188 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 204320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 210011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.21s 210026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 210026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 214998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.2ns 214998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 219922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.9ns 219922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 225081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.9ns 225081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 230178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 678.7ns 230178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 235212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.1ns 235212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 240199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.3ns 240199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 245218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 245218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.32ms 245218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 250219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 250219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.2ns 250219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 255129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 255129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 648.2ns 255129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 260054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 260070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 260070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.2ns 260070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 265057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 265057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302ns 265073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 270015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 270015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns 270015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 274987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 275002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674ns 275002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 279849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.3ns 279849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 284776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 284776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.1ns 284776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 289669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.4ns 289685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 294532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 294548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 294548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.4ns 294548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 299441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s