TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.424s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.449s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.533s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.563s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.347s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.578s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.580s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.548s | passed |
| testInstantiateLabels_updates_allRules() | 3.408s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.721s | passed |
| testParseLabel() | 3.628s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.517s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.462s | passed |
| testrefactorGoal_directChildren_allRules() | 3.626s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.464s | passed |
| testrefactorGoal_none_allRules() | 3.470s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.628s | passed |
| testrefactorGoal_sequent_allRules() | 3.487s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.407s | passed |
Standard output
135827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.7ns 135843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 137093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 141172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 141172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 593.7ns 141188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 144736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.3ns 144736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 148379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442ns 148379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 151826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.2ns 151826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 155453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 997.2ns 155469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 158987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.1ns 158987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 162535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.7ns 162551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 166163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.46ms 166163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 169885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.8ns 169885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 173292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns 173307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 176715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.8ns 176715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 180187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357ns 180187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 183705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.7ns 183720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 187161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns 187176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 190742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424ns 190742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 194228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 576ns 194228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 197684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.9ns 197684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 201263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.5ns 201263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s