TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.775s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.823s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.891s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.746s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.059s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.790s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.856s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.987s | passed |
| testInstantiateLabels_updates_allRules() | 2.895s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.855s | passed |
| testParseLabel() | 2.801s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.842s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.884s | passed |
| testrefactorGoal_directChildren_allRules() | 2.897s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.845s | passed |
| testrefactorGoal_none_allRules() | 2.855s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.921s | passed |
| testrefactorGoal_sequent_allRules() | 2.757s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.819s | passed |
Standard output
109915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns 109915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110087 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110087 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110087 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110087 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 110665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 113966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 113966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.2ns 113966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 116713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.2ns 116713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 119529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.6ns 119529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 122399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.8ns 122414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 125296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552.7ns 125312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 128196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 556.6ns 128196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 131175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.3ns 131175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 134102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.65ms 134102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 136953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.1ns 136953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 139797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 139797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 142685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.7ns 142685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 145436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.3ns 145436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 148284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.8ns 148284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 151112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.6ns 151112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 154002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.7ns 154002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 156810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.7ns 156826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 159657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.6ns 159657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 162449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 628.6ns 162449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s