TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.603s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.617s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.620s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.625s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.795s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.611s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.616s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.625s | passed |
| testInstantiateLabels_updates_allRules() | 2.609s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.647s | passed |
| testParseLabel() | 2.619s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.639s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.650s | passed |
| testrefactorGoal_directChildren_allRules() | 2.641s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.635s | passed |
| testrefactorGoal_none_allRules() | 2.658s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.656s | passed |
| testrefactorGoal_sequent_allRules() | 2.662s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.641s | passed |
Standard output
100915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 100915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231ns 100915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 101063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 104708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 104708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 104708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 107323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 107338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.4ns 107338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 109952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 109968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.5ns 109968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 112604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 112604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.9ns 112619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 115245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.1ns 115245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 117871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.4ns 117871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 120492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.4ns 120508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 123154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 847.3ns 123154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 125796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.6ns 125796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 128431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns 128431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 131046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns 131046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 133714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns 133714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 136347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns 136347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 138957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns 138957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 141584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.5ns 141584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 144232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 144232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 146878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.3ns 146878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 149489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233ns 149489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s