TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.645s | passed |
| testGetTermLabelManager() | 0.008s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.653s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.670s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.712s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.000s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.592s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.607s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.650s | passed |
| testInstantiateLabels_updates_allRules() | 3.609s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.677s | passed |
| testParseLabel() | 3.694s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.262s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.708s | passed |
| testrefactorGoal_directChildren_allRules() | 3.904s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.575s | passed |
| testrefactorGoal_none_allRules() | 3.548s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.579s | passed |
| testrefactorGoal_sequent_allRules() | 3.719s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.622s | passed |
Standard output
142550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.9ns 142550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142788 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142788 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142788 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142788 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 143984 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 148529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.99s 148544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.8ns 148544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 152256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.3ns 152256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 155952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 883.4ns 155960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 159658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.7ns 159658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 163563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.8ns 163563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 167234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.8ns 167234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 170885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547ns 170901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 174464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms 174479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 178142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.4ns 178142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 181833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553ns 181833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 185373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.7ns 185388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 189094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.18ms 189110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 193372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 193372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 197019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.2ns 197019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 200627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 200627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 204175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.2ns 204175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 207752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.6ns 207752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 211345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.9ns 211345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s