TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.837s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.848s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.945s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.820s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 8.339s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.907s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.866s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.786s | passed |
| testInstantiateLabels_updates_allRules() | 4.900s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.893s | passed |
| testParseLabel() | 4.865s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.821s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.928s | passed |
| testrefactorGoal_directChildren_allRules() | 4.945s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.903s | passed |
| testrefactorGoal_none_allRules() | 4.909s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.835s | passed |
| testrefactorGoal_sequent_allRules() | 4.895s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.933s | passed |
Standard output
185442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.1ns 185442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186036 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186036 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186036 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186036 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 187605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 193770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.33s 193785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287ns 193785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 198605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 958.5ns 198620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 203473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.5ns 203473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 208401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.9ns 208401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 213347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.9ns 213347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 218293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms 218293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 223095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.1ns 223095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 227932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.34ms 227932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 232810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.2ns 232810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 237744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.9ns 237744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 242644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 242644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 569.9ns 242644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 247539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 247539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns 247539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 252360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 252376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 723.5ns 252376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 257230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns 257230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 262081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.3ns 262097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 266990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 266990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.6ns 266990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 271911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 271911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.2ns 271911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 276804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 276804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 276804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.4ns 276804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s