TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.755s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.738s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.845s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.061s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.553s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.711s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.723s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.797s | passed |
| testInstantiateLabels_updates_allRules() | 3.727s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.745s | passed |
| testParseLabel() | 3.996s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.746s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.798s | passed |
| testrefactorGoal_directChildren_allRules() | 3.931s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.688s | passed |
| testrefactorGoal_none_allRules() | 3.643s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.803s | passed |
| testrefactorGoal_sequent_allRules() | 3.680s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.805s | passed |
Standard output
141474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.9ns 141474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 147019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 147019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.5ns 147035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 151080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.5ns 151080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 155078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns 155078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 158876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.2ns 158891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 162824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.6ns 162824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 166653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.3ns 166653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 170451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.4ns 170467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 174255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms 174255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 178001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.2ns 178001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 181807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 181807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 185534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.8ns 185534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 189214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.2ns 189214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 192977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.1ns 192977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 196705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns 196705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 200429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns 200429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 204072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.5ns 204088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 207762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.1ns 207762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 211489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.2ns 211489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s