TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.634s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.653s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.751s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.633s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.728s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.686s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.659s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.647s | passed |
| testInstantiateLabels_updates_allRules() | 2.661s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.645s | passed |
| testParseLabel() | 2.656s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.684s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.684s | passed |
| testrefactorGoal_directChildren_allRules() | 2.662s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.656s | passed |
| testrefactorGoal_none_allRules() | 2.664s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.785s | passed |
| testrefactorGoal_sequent_allRules() | 2.691s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.657s | passed |
Standard output
99568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 99568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.7ns 99568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 99724 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99724 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99724 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99724 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 100287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 103292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 103308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.3ns 103308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 105926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 105942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 105942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 105942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 108581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.9ns 108581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 111267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.2ns 111267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 113929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 113929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 116685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.5ns 116686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 119328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.7ns 119328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 122113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.19ms 122113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 124758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.3ns 124758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 127410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 127410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 130081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.7ns 130081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 132779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns 132779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 135457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.3ns 135457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 138117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns 138117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 140775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.8ns 140775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 143433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 675.8ns 143448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 146094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.3ns 146094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 148783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.9ns 148783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s