TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.049s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.216s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.347s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.252s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.691s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.048s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.220s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 3.370s | passed |
| testInstantiateLabels_updates_allRules() | 3.205s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.205s | passed |
| testParseLabel() | 3.392s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.168s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.455s | passed |
| testrefactorGoal_directChildren_allRules() | 3.515s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.077s | passed |
| testrefactorGoal_none_allRules() | 3.159s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.313s | passed |
| testrefactorGoal_sequent_allRules() | 3.117s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.190s | passed |
Standard output
121808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.5ns 121808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 126483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 126499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.1ns 126499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 129767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.3ns 129767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 133143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.8ns 133143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 136598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.2ns 136598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 140114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.4ns 140130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 143493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.9ns 143493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 146856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.9ns 146856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 150153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns 150153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 153358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253ns 153358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 156548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 156548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 159769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.4ns 159769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 162870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.5ns 162870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 166038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns 166038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 169260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.8ns 169260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 172481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.4ns 172481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 175640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.3ns 175640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 178719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 178719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 181767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.7ns 181767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s