TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.501s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.451s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.518s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.658s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.302s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.518s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.533s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.518s | passed |
| testInstantiateLabels_updates_allRules() | 3.454s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.423s | passed |
| testParseLabel() | 3.737s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.454s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.816s | passed |
| testrefactorGoal_directChildren_allRules() | 3.749s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.563s | passed |
| testrefactorGoal_none_allRules() | 3.611s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.502s | passed |
| testrefactorGoal_sequent_allRules() | 3.611s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.407s | passed |
Standard output
133936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.1ns 133936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135062 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 139206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 139221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.9ns 139221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 142880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.1ns 142880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 146617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288ns 146633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 150449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.7ns 150449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 154184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.8ns 154201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 157718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.8ns 157718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 161220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 648.4ns 161220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 164722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 905.1ns 164722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 168146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 625ns 168146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 171570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 171570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 175009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.2ns 175009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 178621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.1ns 178621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 182076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns 182091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 185531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 576.1ns 185547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 189065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.2ns 189065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 192676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.6ns 192676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 196241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248ns 196241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 199759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.6ns 199759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s