TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.315s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.352s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.338s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.368s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.889s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.330s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.319s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.343s | passed |
| testInstantiateLabels_updates_allRules() | 4.328s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.355s | passed |
| testParseLabel() | 4.378s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.363s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.363s | passed |
| testrefactorGoal_directChildren_allRules() | 4.322s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.331s | passed |
| testrefactorGoal_none_allRules() | 4.315s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.326s | passed |
| testrefactorGoal_sequent_allRules() | 4.350s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.320s | passed |
Standard output
164069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 164069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206ns 164070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164273 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164275 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164275 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 165185 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 169952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.88s 169961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 582.7ns 169962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 174327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 174328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.7ns 174328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 178705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 178705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.6ns 178706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 183068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.2ns 183069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 187390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 187390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 187391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 191728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 191728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns 191729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 196071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 196071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.7ns 196072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 200397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 200397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.6ns 200398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 204752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 204752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.7ns 204753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 209072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 209072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.2ns 209073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 213401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 213401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 213403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 217751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 217751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.5ns 217752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 222116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 222117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.7ns 222118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 226469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 226469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.6ns 226470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 230786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 230787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.3ns 230787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 235102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 235102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 235103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 239434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 239434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 239435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 243761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 243764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 243764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.4ns 243765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 248075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s