TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.700s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.672s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.536s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.597s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.490s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.630s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.651s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.601s | passed |
| testInstantiateLabels_updates_allRules() | 4.658s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.628s | passed |
| testParseLabel() | 4.758s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.527s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.608s | passed |
| testrefactorGoal_directChildren_allRules() | 4.601s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.740s | passed |
| testrefactorGoal_none_allRules() | 4.744s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.586s | passed |
| testrefactorGoal_sequent_allRules() | 4.528s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.528s | passed |
Standard output
181432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 181433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 645.81ns 181434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181688 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181689 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181690 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181690 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 182868 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 187917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.48s 187927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 187927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.2ns 187928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 192521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 192521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.2ns 192522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 197279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 197280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.61ns 197281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 201887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 201887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 201888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 206488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 206488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 206489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 211024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 211024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.7ns 211025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 215625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 215625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 215626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 220211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 220211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns 220212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 224839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 224839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 224840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 229367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 229367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.3ns 229368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 234028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 234028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns 234029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 238553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 238554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 238554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 243072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 243082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 243082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.4ns 243082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 247753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 247754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.2ns 247754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 252405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 252405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.4ns 252406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 257150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 257150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.2ns 257151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 261879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 261890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 261890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.6ns 261891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 266520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 266520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 266521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s