TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.353s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.420s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.474s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.598s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.362s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.441s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.337s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.527s | passed |
| testInstantiateLabels_updates_allRules() | 3.452s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.501s | passed |
| testParseLabel() | 3.647s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.385s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.622s | passed |
| testrefactorGoal_directChildren_allRules() | 3.597s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.453s | passed |
| testrefactorGoal_none_allRules() | 3.455s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.497s | passed |
| testrefactorGoal_sequent_allRules() | 3.555s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.493s | passed |
Standard output
140031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.6ns 140031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 140290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 140290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 140290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 141213 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 145396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 145396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 742.5ns 145396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 148994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.6ns 148994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 152641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.5ns 152641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 156263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.6ns 156263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 159862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.2ns 159862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 163337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.2ns 163337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 166865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.1ns 166880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 170363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.6ns 170363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 173864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 513.2ns 173864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 177357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.6ns 177357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 180809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.3ns 180809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 184364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.2ns 184364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 187766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150ns 187766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 191177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.6ns 191181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 194528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.7ns 194528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 197969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 648.1ns 197969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 201424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.7ns 201424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 204865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.4ns 204865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s