TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.470s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.432s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.533s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.534s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.161s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.442s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.440s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.469s | passed |
| testInstantiateLabels_updates_allRules() | 3.424s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.505s | passed |
| testParseLabel() | 3.785s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.438s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.533s | passed |
| testrefactorGoal_directChildren_allRules() | 3.515s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.500s | passed |
| testrefactorGoal_none_allRules() | 3.486s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.408s | passed |
| testrefactorGoal_sequent_allRules() | 3.379s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.532s | passed |
Standard output
162832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.9ns 162832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163097 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 167991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 167991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.7ns 167991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 171525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.5ns 171525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 175310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.4ns 175310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 178843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 646ns 178843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 182360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588ns 182360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 185894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns 185894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 189364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 189364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 192772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.8ns 192788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 196277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 740.3ns 196277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 199810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.2ns 199810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 203234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.3ns 203250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 206613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 206613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 210052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.2ns 210068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 213491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.5ns 213507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 216932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.71ms 216932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 220436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 663.1ns 220436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 223922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.6ns 223938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 227365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.6ns 227380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s