TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.214s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.325s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.265s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.265s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.337s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.318s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.145s | passed |
| testInstantiateLabels_null() | 0.003s | passed |
| testInstantiateLabels_taclet() | 5.161s | passed |
| testInstantiateLabels_updates_allRules() | 5.278s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.240s | passed |
| testParseLabel() | 5.151s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.277s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.162s | passed |
| testrefactorGoal_directChildren_allRules() | 5.308s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.379s | passed |
| testrefactorGoal_none_allRules() | 5.271s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.100s | passed |
| testrefactorGoal_sequent_allRules() | 5.338s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.109s | passed |
Standard output
196795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 196796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.5ms 196798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197092 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 197093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 197094 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 197095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 198351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 204124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.33s 204129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 204130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.9ns 204130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 209394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 209394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.2ns 209395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 214546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 214547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 757.91ns 214548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 219709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 219710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 621.7ns 219711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 225022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 225022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 950.31ns 225024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 230284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 230284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.5ns 230286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 235445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 235445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.7ns 235446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 240546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 240546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.2ns 240547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 245785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 245786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 245787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 250894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 250894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns 250895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 256167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 256174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 256175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211ns 256175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 261505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 261513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 261514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.1ns 261514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 266792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 266792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 266793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 272117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 272117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.5ns 272118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 277262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 277262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174ns 277263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 282541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 282542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 905.91ns 282545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 287919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 287919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 287920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 293233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 293237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 293237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns 293238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 298447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s