TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.677s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.721s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.715s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.716s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.917s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.715s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.047s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.753s | passed |
| testInstantiateLabels_updates_allRules() | 2.703s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.722s | passed |
| testParseLabel() | 2.706s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.753s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.707s | passed |
| testrefactorGoal_directChildren_allRules() | 2.735s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.780s | passed |
| testrefactorGoal_none_allRules() | 2.867s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.730s | passed |
| testrefactorGoal_sequent_allRules() | 3.294s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.709s | passed |
Standard output
108737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.8ns 108752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 109534 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 112654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 112654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.9ns 112654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 115378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.3ns 115378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 118078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 118078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 120790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 120790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 123524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 123524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 126242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 126246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 128994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547.3ns 128994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 131729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 831.1ns 131729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 134449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.3ns 134449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 137161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.5ns 137161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 139862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.7ns 139862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 143156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.7ns 143156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 145916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.9ns 145916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 148639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 148639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 151687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.1ns 151687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 154559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.5ns 154559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 157335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 565ns 157335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 160044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 920.4ns 160059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s