TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.964s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.197s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.690s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.221s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.318s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.031s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.098s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.697s | passed |
| testInstantiateLabels_updates_allRules() | 5.332s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.600s | passed |
| testParseLabel() | 5.710s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.166s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.678s | passed |
| testrefactorGoal_directChildren_allRules() | 6.053s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.071s | passed |
| testrefactorGoal_none_allRules() | 5.028s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.687s | passed |
| testrefactorGoal_sequent_allRules() | 5.135s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.294s | passed |
Standard output
192204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 728ns 192204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192478 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192479 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192479 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192479 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 193409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 199497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.3s 199512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.4ns 199512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 204749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.7ns 204749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 210443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604ns 210443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s 216122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.6ns 216136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.99s 222178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.31ms 222194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 227869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.6ns 227885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 233567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.1ns 233567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.66s 239271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.08ms 239271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 244903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.4ns 244903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 250152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 250152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.2ns 250152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 255485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 255485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.3ns 255485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 260604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 260620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 260620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 260620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 265786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 265786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.1ns 265802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 270987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 270987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 270987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.5ns 271003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 276086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 276086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 276086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.8ns 276086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 281130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 281130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.8ns 281130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 286172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 286188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 286188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 286188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 291219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 291219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.09ms 291235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 296185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s