TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.272s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.275s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.102s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.292s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.671s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.282s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.281s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.145s | passed |
| testInstantiateLabels_updates_allRules() | 3.482s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.206s | passed |
| testParseLabel() | 3.229s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.311s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.135s | passed |
| testrefactorGoal_directChildren_allRules() | 3.265s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.232s | passed |
| testrefactorGoal_none_allRules() | 3.320s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.079s | passed |
| testrefactorGoal_sequent_allRules() | 3.352s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.391s | passed |
Standard output
120084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 120084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.91ns 120085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120291 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120292 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121105 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 124751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 124755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.2ns 124756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 128047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns 128048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 131276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.1ns 131277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 134411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 134411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 134412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 137677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.81ns 137678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 140779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.51ns 140780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 143923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.21ns 143925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 147002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 147002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.21ns 147003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 150208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns 150209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 153600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.92ns 153602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 157081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 157081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.9ns 157082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 160433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.71ns 160434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 163745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 163746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 167021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 167022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.12ns 167023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 170302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.1ns 170303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 173624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 173624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.42ns 173625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 176856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.6ns 176856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 180138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 180138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.7ns 180138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s