TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.321s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.346s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.254s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.076s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.689s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.373s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.407s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.257s | passed |
| testInstantiateLabels_updates_allRules() | 3.286s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.364s | passed |
| testParseLabel() | 3.178s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.339s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.119s | passed |
| testrefactorGoal_directChildren_allRules() | 3.191s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.449s | passed |
| testrefactorGoal_none_allRules() | 3.277s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.349s | passed |
| testrefactorGoal_sequent_allRules() | 3.315s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.391s | passed |
Standard output
128233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.9ns 128233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129397 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 132899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 132914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.1ns 132914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 135990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.5ns 135990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 139168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223ns 139168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 142287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.3ns 142303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 145479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.8ns 145479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 148733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.9ns 148733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 152006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms 152006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 155340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms 155340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 158705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.66ms 158721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 162097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.4ns 162097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 165384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 165384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 168699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214ns 168699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 172053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.5ns 172053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 175389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.6ns 175404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 178798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 178798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 182075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.5ns 182075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 185526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.3ns 185526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 188899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 188899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s