TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.249s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.274s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.298s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.243s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.058s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.247s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.256s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.372s | passed |
| testInstantiateLabels_updates_allRules() | 4.318s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.291s | passed |
| testParseLabel() | 4.241s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.255s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.263s | passed |
| testrefactorGoal_directChildren_allRules() | 4.276s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.264s | passed |
| testrefactorGoal_none_allRules() | 4.277s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.280s | passed |
| testrefactorGoal_sequent_allRules() | 4.266s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.287s | passed |
Standard output
161634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.6ns 161634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162853 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 167682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.04s 167698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.3ns 167698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 171941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.8ns 171941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 176182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.9ns 176182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 180460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.8ns 180460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 184723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 643.7ns 184738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 189022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 572.3ns 189037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 193395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 534ns 193395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 197676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.5ns 197676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 201968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 201968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 206255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.1ns 206270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 210573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 210589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 214839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.8ns 214839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 219110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.9ns 219110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 223376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.9ns 223376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 227633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.2ns 227649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 231910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.5ns 231910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 236176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 236191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 240438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 240438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s