TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.084s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.149s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.193s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.060s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.166s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.032s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.024s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 5.265s | passed |
| testInstantiateLabels_updates_allRules() | 5.084s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.145s | passed |
| testParseLabel() | 5.119s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.100s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.208s | passed |
| testrefactorGoal_directChildren_allRules() | 5.184s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.168s | passed |
| testrefactorGoal_none_allRules() | 5.131s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.112s | passed |
| testrefactorGoal_sequent_allRules() | 5.068s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.045s | passed |
Standard output
191951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 191952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 493.7ns 191954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192227 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192227 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 193466 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 199112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.16s 199118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 199118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.6ns 199119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 204177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 204178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 204179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 209296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 209297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.2ns 209298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 214504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 214504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 214508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 219689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 219690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.2ns 219691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 224882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 224882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns 224883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 230147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 230148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.51ns 230149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 235260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 235261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195ns 235262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 240405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 240405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.4ns 240406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 245450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 245450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.8ns 245451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 250534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 250534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns 250535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 255602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 255603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 255604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 260692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 260705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 260705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.4ns 260706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 265855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 265855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.2ns 265856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 270876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 270879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 270879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns 270880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 276002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 276010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 276010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.7ns 276011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 281179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 281179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.7ns 281180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 286207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 286211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 286212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.4ns 286213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s