TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.356s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.366s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.335s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.285s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.889s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.465s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.235s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.274s | passed |
| testInstantiateLabels_updates_allRules() | 3.339s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.286s | passed |
| testParseLabel() | 3.278s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.380s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.266s | passed |
| testrefactorGoal_directChildren_allRules() | 3.320s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.356s | passed |
| testrefactorGoal_none_allRules() | 3.269s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.264s | passed |
| testrefactorGoal_sequent_allRules() | 3.359s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.262s | passed |
Standard output
122412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178ns 122413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122587 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122588 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122589 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123504 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 127296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 127301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.4ns 127302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 130586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.7ns 130587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 133865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.1ns 133866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 137134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 137135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.8ns 137135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 140455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.59ms 140458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 143791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.3ns 143792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 147064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 147064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.4ns 147065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 150327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 150328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 153614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns 153615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 156876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132ns 156877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 160215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.3ns 160216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 163576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.9ns 163578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 166960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.8ns 166962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 170326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.1ns 170327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 173561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 173561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns 173562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 176830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.6ns 176831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 180186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 180186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 180187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 183651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns 183652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s