TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.224s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.308s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.436s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.324s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.736s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.153s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.304s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.349s | passed |
| testInstantiateLabels_updates_allRules() | 3.269s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.321s | passed |
| testParseLabel() | 3.276s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.270s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.330s | passed |
| testrefactorGoal_directChildren_allRules() | 3.507s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.254s | passed |
| testrefactorGoal_none_allRules() | 3.427s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.441s | passed |
| testrefactorGoal_sequent_allRules() | 3.262s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.236s | passed |
Standard output
125017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 758.01ns 125019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125199 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125200 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125201 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 125202 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 126054 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 129749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 129753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 129753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.8ns 129754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 133077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns 133078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 136355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.8ns 136357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 139684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.9ns 139685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 143191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.1ns 143193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 146627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.2ns 146629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 149976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 149976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.4ns 149977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 153417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 153418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.9ns 153418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 156738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 156738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 156739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 159974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 159974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.9ns 159975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 163243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.4ns 163244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 166505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.9ns 166505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 169776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113ns 169777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 173084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 173084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.2ns 173085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 176389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 176391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 179818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 179819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.11ns 179823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 183072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 183072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.7ns 183072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 186225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.4ns 186225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s