TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.465s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.466s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.456s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.499s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.387s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.464s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.440s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 2.444s | passed |
| testInstantiateLabels_updates_allRules() | 2.489s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.487s | passed |
| testParseLabel() | 2.540s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.482s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.471s | passed |
| testrefactorGoal_directChildren_allRules() | 2.487s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.462s | passed |
| testrefactorGoal_none_allRules() | 2.451s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.465s | passed |
| testrefactorGoal_sequent_allRules() | 2.520s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.459s | passed |
Standard output
97227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 97227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571ns 97227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 97336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 97336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 97352 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 97352 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 97821 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 100606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 100606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 100606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432ns 100606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 103106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 103106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns 103106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 105645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 105645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 105645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163ns 105645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 108121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.8ns 108121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 110604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns 110604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 113050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.3ns 113066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 115505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.4ns 115505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 117997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms 117997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 120459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns 120459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 122930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns 122932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 125407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.6ns 125407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 127928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.7ns 127928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 130426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449ns 130426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 132891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.1ns 132891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 135322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.8ns 135322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 137770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.9ns 137785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 140240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 140240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 142699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330ns 142699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s