TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.320s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.475s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.340s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.428s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.935s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.404s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.345s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.287s | passed |
| testInstantiateLabels_updates_allRules() | 3.265s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.284s | passed |
| testParseLabel() | 3.292s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.279s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.327s | passed |
| testrefactorGoal_directChildren_allRules() | 3.336s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.641s | passed |
| testrefactorGoal_none_allRules() | 3.371s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.366s | passed |
| testrefactorGoal_sequent_allRules() | 3.326s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.243s | passed |
Standard output
127908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.2ns 127908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128158 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128158 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128158 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128158 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129034 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 132833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 132848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.2ns 132848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 136262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.1ns 136262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 139554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.8ns 139570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 142881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 142881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 146234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 613.4ns 146234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 149559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 149574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 152847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 879.1ns 152863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 156214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.08ms 156228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 159514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.1ns 159514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 162742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.5ns 162758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 166023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 685.5ns 166023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 169341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547ns 169341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 172621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.9ns 172621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 176101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 176101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 179447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns 179463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 182818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.3ns 182818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 186461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.4ns 186461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 189865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 807.2ns 189865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s