TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.566s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.670s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.657s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.785s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.733s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.655s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.574s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.611s | passed |
| testInstantiateLabels_updates_allRules() | 3.611s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.611s | passed |
| testParseLabel() | 3.846s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.626s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.689s | passed |
| testrefactorGoal_directChildren_allRules() | 3.845s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.579s | passed |
| testrefactorGoal_none_allRules() | 3.627s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.611s | passed |
| testrefactorGoal_sequent_allRules() | 3.580s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.659s | passed |
Standard output
140813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.5ns 140813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 142167 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 146529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 146544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 596.1ns 146544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 150315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.3ns 150331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 154161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.37ms 154161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 157850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 157850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 161696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 713.3ns 161696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 165354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns 165354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 168965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.9ns 168965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 172576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.32ms 172576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 176203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 733ns 176203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 179848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186ns 179848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 183459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 618.3ns 183459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 187039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.1ns 187039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 190681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 190681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 194344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.2ns 194355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 197919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.7ns 197935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 201546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.1ns 201546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 205142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.2ns 205142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 208786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.8ns 208801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s