TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.222s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.172s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.143s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.221s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.428s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.174s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.142s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.175s | passed |
| testInstantiateLabels_updates_allRules() | 5.176s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.174s | passed |
| testParseLabel() | 5.239s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.190s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.221s | passed |
| testrefactorGoal_directChildren_allRules() | 5.253s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.204s | passed |
| testrefactorGoal_none_allRules() | 5.236s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.173s | passed |
| testrefactorGoal_sequent_allRules() | 5.173s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.112s | passed |
Standard output
216169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.4ns 216185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216528 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 216544 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 216544 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 216544 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 217763 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 223579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.4s 223579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.7ns 223595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 228801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361ns 228801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 234040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612ns 234040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 239277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 665.7ns 239277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 244517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.3ns 244517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 249676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630ns 249676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 254851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630.2ns 254851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 260010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 260010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.46ms 260026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 265185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 265185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273ns 265201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 270282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 270298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 270298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 653.2ns 270298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 275474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 275489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 275489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.4ns 275489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 280618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 280649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 280649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270ns 280649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 285825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 285840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 285840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns 285856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 291032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 291032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.3ns 291032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 296160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 296160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 296160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.3ns 296160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 301396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 301427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 301427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.3ns 301427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 306601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 306617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 306617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 635.2ns 306617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 311792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 311808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 311808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.9ns 311808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 317014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s