TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.414s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.736s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.712s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.865s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.640s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.940s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.728s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.666s | passed |
| testInstantiateLabels_updates_allRules() | 3.483s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.392s | passed |
| testParseLabel() | 2.683s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.652s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.749s | passed |
| testrefactorGoal_directChildren_allRules() | 2.737s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.751s | passed |
| testrefactorGoal_none_allRules() | 2.899s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.892s | passed |
| testrefactorGoal_sequent_allRules() | 3.360s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.877s | passed |
Standard output
108208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.8ns 108224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108411 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108411 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 108411 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 109240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 112836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 112836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 112851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 115711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.1ns 115711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 118385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 719.7ns 118385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 121138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.7ns 121138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 123873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.4ns 123873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 126578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 126593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 130548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.6ns 130548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 133143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.8ns 133143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 136801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns 136801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 140288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.4ns 140288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 143195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.6ns 143195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 146258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 711.1ns 146274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 148916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 148932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 151730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.2ns 151730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 154371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.5ns 154371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 157373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 157373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 160109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.8ns 160109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 164100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 681ns 164100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s