TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.312s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.270s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.335s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.395s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.674s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.287s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.291s | passed |
| testInstantiateLabels_null() | 0.005s | passed |
| testInstantiateLabels_taclet() | 3.327s | passed |
| testInstantiateLabels_updates_allRules() | 3.267s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.354s | passed |
| testParseLabel() | 3.404s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.369s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.359s | passed |
| testrefactorGoal_directChildren_allRules() | 3.355s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.259s | passed |
| testrefactorGoal_none_allRules() | 3.243s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.360s | passed |
| testrefactorGoal_sequent_allRules() | 3.300s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.254s | passed |
Standard output
124743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.1ns 124745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124917 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124917 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124918 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124919 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 129414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 129418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 129419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 132813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns 132814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 136217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns 136217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 139582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 139583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 142936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 142936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 142936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 146271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.2ns 146273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 149600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.1ns 149602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 152960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 152960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns 152961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 156314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.5ns 156315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 159568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.8ns 159569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 162835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 162835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.9ns 162836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 166136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.2ns 166138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 169505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 169505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 172775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns 172776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 176066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.8ns 176067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 179315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.7ns 179315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 182572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 182572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.3ns 182573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 185859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 185859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.1ns 185860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s