TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.394s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.214s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.332s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.502s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.969s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.298s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.254s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.269s | passed |
| testInstantiateLabels_updates_allRules() | 5.378s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.299s | passed |
| testParseLabel() | 5.349s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.206s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.363s | passed |
| testrefactorGoal_directChildren_allRules() | 5.471s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.277s | passed |
| testrefactorGoal_none_allRules() | 5.128s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.128s | passed |
| testrefactorGoal_sequent_allRules() | 5.143s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.425s | passed |
Standard output
217664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.5ns 217664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 218289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 218289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 218289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 219649 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 225621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.95s 225621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 701.4ns 225621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 231123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.7ns 231123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 236472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.7ns 236472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 241835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.63ms 241852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 247307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 247307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 247322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 252639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 252639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 252639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 257908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.6ns 257923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 263021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 263036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 263052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.83ms 263052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 268337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 268337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.6ns 268353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 273763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 273763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.9ns 273763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 279141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 279157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 284286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 284286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.6ns 284302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 289508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms 289508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 294715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 294715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 294715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.9ns 294715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 299970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 299970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 299970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 299986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 305082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 305114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 305114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 765.5ns 305114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 310367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 310383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 310383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.7ns 310398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 315668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 315684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 315684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 726.3ns 315684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 321062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s