TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.254s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.272s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.282s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.361s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.854s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.256s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.228s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.268s | passed |
| testInstantiateLabels_updates_allRules() | 4.265s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.273s | passed |
| testParseLabel() | 4.355s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.268s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.314s | passed |
| testrefactorGoal_directChildren_allRules() | 4.315s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.261s | passed |
| testrefactorGoal_none_allRules() | 4.251s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.284s | passed |
| testrefactorGoal_sequent_allRules() | 4.288s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.281s | passed |
Standard output
161445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584.94ns 161446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161657 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161658 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161658 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162551 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 167294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.85s 167298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 167298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.51ns 167299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 171659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 171659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.81ns 171660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 176014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.61ns 176015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 180331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 180331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.02ns 180334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 184646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 184646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.31ns 184647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 188928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 188928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.11ns 188928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 193196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 193196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.11ns 193197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 197480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 197480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.91ns 197481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 201753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 201754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.91ns 201754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 206034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 206034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.21ns 206035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 210300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 210301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545.53ns 210302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 214589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 214590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.23ns 214591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 218859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 218859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.61ns 218859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 223130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 223130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.21ns 223131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 227358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 227358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.81ns 227359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 231609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 231609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.51ns 231610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 235870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 235870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.61ns 235871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 240126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 240126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.51ns 240127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s