TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.726s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.726s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.774s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.723s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.171s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.762s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.709s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.768s | passed |
| testInstantiateLabels_updates_allRules() | 2.722s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.776s | passed |
| testParseLabel() | 2.771s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.789s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.754s | passed |
| testrefactorGoal_directChildren_allRules() | 2.772s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.714s | passed |
| testrefactorGoal_none_allRules() | 2.723s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.757s | passed |
| testrefactorGoal_sequent_allRules() | 2.745s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.734s | passed |
Standard output
103773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 103773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 107947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 107947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.6ns 107963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 110684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.6ns 110684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 113442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns 113442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 116186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.8ns 116202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 118969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 567ns 118969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 121751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 635.6ns 121751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 124518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.9ns 124518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 127285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 933.5ns 127285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 130068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.4ns 130068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 132788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.4ns 132804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 135509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns 135509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 138260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 799.9ns 138260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 141044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.8ns 141044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 143765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 143781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 146485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.2ns 146485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 149206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.2ns 149206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 151926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns 151926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 154692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.4ns 154692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s