TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.126s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.820s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.778s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.877s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.050s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.736s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.790s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.757s | passed |
| testInstantiateLabels_updates_allRules() | 2.769s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.847s | passed |
| testParseLabel() | 2.808s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.816s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.757s | passed |
| testrefactorGoal_directChildren_allRules() | 3.789s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.809s | passed |
| testrefactorGoal_none_allRules() | 2.821s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.813s | passed |
| testrefactorGoal_sequent_allRules() | 2.790s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.224s | passed |
Standard output
109954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.5ns 109954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 113992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 114039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 114039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.7ns 114054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 116901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.4ns 116901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 119679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.8ns 119679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 122440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.3ns 122440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 126227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.8ns 126241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 129019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.9ns 129019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 131780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.7ns 131780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 135844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.9ns 135860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 139426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.1ns 139426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 142729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.4ns 142729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 145424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 534.5ns 145424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 148213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns 148213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 151033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns 151033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 153854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.4ns 153854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 156650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.6ns 156650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 159467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 159467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 162268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.5ns 162268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 166060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.51ms 166060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s