TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.393s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.423s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.330s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.347s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.863s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.486s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.407s | passed |
| testInstantiateLabels_null() | 0.005s | passed |
| testInstantiateLabels_taclet() | 3.376s | passed |
| testInstantiateLabels_updates_allRules() | 3.486s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.533s | passed |
| testParseLabel() | 3.251s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.483s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.282s | passed |
| testrefactorGoal_directChildren_allRules() | 3.377s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.450s | passed |
| testrefactorGoal_none_allRules() | 3.472s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.360s | passed |
| testrefactorGoal_sequent_allRules() | 3.453s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.487s | passed |
Standard output
127556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.4ns 127556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128619 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 132402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 132418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.1ns 132418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 135749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.5ns 135749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 139000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.4ns 139000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 142284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.7ns 142284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 145662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.5ns 145678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 148992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.4ns 148992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 152368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.8ns 152368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 155729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.1ns 155729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 159262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 159278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 162749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 162749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 166236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.5ns 166251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 169706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 753ns 169706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 173192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.9ns 173192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 176604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns 176604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 180011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.7ns 180027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 183483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.7ns 183483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 186938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 574.4ns 186938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 190424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.8ns 190424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s