TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.976s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.055s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.122s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.023s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.511s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.977s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.951s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.080s | passed |
| testInstantiateLabels_updates_allRules() | 3.018s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.976s | passed |
| testParseLabel() | 3.089s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.062s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.023s | passed |
| testrefactorGoal_directChildren_allRules() | 3.046s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.069s | passed |
| testrefactorGoal_none_allRules() | 2.997s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.106s | passed |
| testrefactorGoal_sequent_allRules() | 2.959s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.980s | passed |
Standard output
113968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 113969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 701.4ns 113970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114141 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114142 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114143 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114925 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 118470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 118480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 118480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.6ns 118482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 121501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns 121502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 124590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns 124591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 127613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.3ns 127614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 130659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.5ns 130660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 133782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.7ns 133784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 136863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.8ns 136864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 139968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 139970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 142945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 142945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.1ns 142946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 145926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.8ns 145927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 148944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.8ns 148946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 151907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 151907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490ns 151908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 154970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.3ns 154971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 158025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 158025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.1ns 158026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 160976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100ns 160977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 163973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.6ns 163974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 167042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 167042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.8ns 167043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 170019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 688.2ns 170021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s