TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.232s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.260s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.296s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.338s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.710s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.323s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.311s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.271s | passed |
| testInstantiateLabels_updates_allRules() | 3.317s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.293s | passed |
| testParseLabel() | 3.207s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.343s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.294s | passed |
| testrefactorGoal_directChildren_allRules() | 3.298s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.256s | passed |
| testrefactorGoal_none_allRules() | 3.359s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.288s | passed |
| testrefactorGoal_sequent_allRules() | 3.267s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.276s | passed |
Standard output
124542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.77ms 124557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 129253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 129269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 548.7ns 129269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 132591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.7ns 132591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 135798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.1ns 135798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 139108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 139108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 142391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.5ns 142391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 145703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.2ns 145703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 148959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 739.2ns 148959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 152248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.3ns 152248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 155541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 694.1ns 155541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 158818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns 158818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 162135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 516.9ns 162150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 165402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.6ns 165402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 168761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.5ns 168761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 172010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.7ns 172025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 175322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.9ns 175322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 178696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.4ns 178712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 181956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.1ns 181956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 185280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 626.3ns 185280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s