TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.723s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.748s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.831s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.736s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.095s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.761s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.731s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.705s | passed |
| testInstantiateLabels_updates_allRules() | 2.715s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.774s | passed |
| testParseLabel() | 2.754s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.750s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.868s | passed |
| testrefactorGoal_directChildren_allRules() | 2.738s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.749s | passed |
| testrefactorGoal_none_allRules() | 2.741s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.794s | passed |
| testrefactorGoal_sequent_allRules() | 2.745s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.727s | passed |
Standard output
109568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.5ns 109568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 109740 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 109740 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 109740 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 109740 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110458 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 113645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 113645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 113645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 116384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.4ns 116384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 119136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.9ns 119136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 122004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.2ns 122004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 124744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 124744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 127576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 127576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 130297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.8ns 130297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 133092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.4ns 133092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 135851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.1ns 135851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 138587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.9ns 138587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 141311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 625.1ns 141311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 144057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 767.6ns 144057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 146808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.6ns 146808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 149547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.2ns 149547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 152278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.8ns 152278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 155015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns 155015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 157769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.1ns 157769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 160525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 832.2ns 160525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s