TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.596s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.620s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.625s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.605s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.751s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.593s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.596s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.608s | passed |
| testInstantiateLabels_updates_allRules() | 2.618s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.609s | passed |
| testParseLabel() | 2.616s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.611s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.703s | passed |
| testrefactorGoal_directChildren_allRules() | 2.642s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.598s | passed |
| testrefactorGoal_none_allRules() | 2.606s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.613s | passed |
| testrefactorGoal_sequent_allRules() | 2.609s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.604s | passed |
Standard output
99464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 99464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.5ns 99464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 100184 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 103200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 103200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 103216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 105811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 105811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 105811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.2ns 105811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 108422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 108422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 111127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.6ns 111127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 113768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.1ns 113768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 116396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.6ns 116396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 119007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.6ns 119007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 121618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 121633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 124229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.4ns 124229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 126841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.3ns 126841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 129452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.9ns 129452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 132062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.7ns 132062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 134673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 134688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 137300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.5ns 137300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 139895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns 139895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 142507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns 142507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 145101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns 145101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 147696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.3ns 147696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s