TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.253s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.262s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.314s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.252s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.012s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.330s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.266s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.284s | passed |
| testInstantiateLabels_updates_allRules() | 3.316s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.330s | passed |
| testParseLabel() | 3.298s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.299s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.298s | passed |
| testrefactorGoal_directChildren_allRules() | 3.377s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.298s | passed |
| testrefactorGoal_none_allRules() | 3.268s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.315s | passed |
| testrefactorGoal_sequent_allRules() | 3.298s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.315s | passed |
Standard output
127719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.6ns 127719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 127969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 132707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 132707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601.4ns 132722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 135959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482ns 135975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 139273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.6ns 139273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 142571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.3ns 142571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 145933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.2ns 145933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 149247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.8ns 149247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 152531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.8ns 152531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 155846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.3ns 155846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 159176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.9ns 159176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 162506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 162506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 165807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511ns 165807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 169106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 538ns 169106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 172420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.7ns 172420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 175673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.1ns 175673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 178940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517ns 178940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 182209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540ns 182209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 185508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.1ns 185524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 188838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.8ns 188838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s