TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.190s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.288s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.180s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.217s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.768s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.169s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.149s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.132s | passed |
| testInstantiateLabels_updates_allRules() | 4.172s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.204s | passed |
| testParseLabel() | 4.296s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.162s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.318s | passed |
| testrefactorGoal_directChildren_allRules() | 4.273s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.199s | passed |
| testrefactorGoal_none_allRules() | 4.186s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.159s | passed |
| testrefactorGoal_sequent_allRules() | 4.158s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.171s | passed |
Standard output
155887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 155887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.61ns 155888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156146 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156147 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156148 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156148 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156974 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 161650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.76s 161657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.71ns 161659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 165872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 165873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.21ns 165873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 170169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 170170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.22ns 170171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 174488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 174498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.62ms 174499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 178761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 178761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.11ns 178762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 182941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 182941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.71ns 182942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 187073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 187073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.11ns 187074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 191232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 191232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.81ns 191233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 195436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 195436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.81ns 195437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 199607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 199607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.11ns 199608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 203779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 203779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.21ns 203780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 207937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 207938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.61ns 207938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 212101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 212101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.91ns 212102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 216389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 216390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.01ns 216390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 220538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 220538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.51ns 220539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 224724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 224724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.21ns 224725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 228923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 228923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.31ns 228924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 233093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 233093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.91ns 233094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s