TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.186s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.212s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.201s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.222s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.545s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.206s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.026s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.126s | passed |
| testInstantiateLabels_updates_allRules() | 3.156s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.114s | passed |
| testParseLabel() | 3.269s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.212s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.294s | passed |
| testrefactorGoal_directChildren_allRules() | 3.232s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.180s | passed |
| testrefactorGoal_none_allRules() | 2.987s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.175s | passed |
| testrefactorGoal_sequent_allRules() | 3.165s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.162s | passed |
Standard output
117647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 117648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.5ns 117648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 117808 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 117808 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 117809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 118478 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 122187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 122193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.3ns 122195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 125415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.5ns 125416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 128684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.7ns 128685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 131978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 131979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 135210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.9ns 135211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 138411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.4ns 138412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 141538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.1ns 141539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 144713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 144713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.8ns 144714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 147828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 147828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.1ns 147829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 150990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 150990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.9ns 150991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 154144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.8ns 154145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 157309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 157309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.1ns 157310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 160522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.6ns 160523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 163736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 790.71ns 163738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 166760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.9ns 166761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 169748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.9ns 169749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 172928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.4ns 172929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 176134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.1ns 176134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s