TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.322s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.302s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.301s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.323s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.967s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.331s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.336s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.297s | passed |
| testInstantiateLabels_updates_allRules() | 4.334s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.292s | passed |
| testParseLabel() | 4.337s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.345s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.354s | passed |
| testrefactorGoal_directChildren_allRules() | 4.334s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.387s | passed |
| testrefactorGoal_none_allRules() | 4.325s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.339s | passed |
| testrefactorGoal_sequent_allRules() | 4.313s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.308s | passed |
Standard output
161865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.7ns 161865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163036 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 167800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.94s 167815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.3ns 167815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 172138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260ns 172138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 176476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.4ns 176476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 180830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.2ns 180830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 185165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns 185165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 189467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns 189467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 193764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 868.7ns 193764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 198104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.4ns 198120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 202397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.1ns 202397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 206706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.1ns 206706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 211040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.1ns 211040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 215353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.1ns 215353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 219698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns 219698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 224005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233ns 224005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 228341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.6ns 228341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 232682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.08ms 232682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 237056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.8ns 237056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 241387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 241387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s