TestTermLabelManager
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
testGetSupportedTermLabelNames() | 5.061s | passed |
testGetTermLabelManager() | 0.004s | passed |
testInstantiateLabels_applicationTermPolicies() | 5.072s | passed |
testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.439s | passed |
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.124s | passed |
testInstantiateLabels_directChildPolicies_allRules() | 7.032s | passed |
testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.052s | passed |
testInstantiateLabels_modalityTermPolicies() | 5.017s | passed |
testInstantiateLabels_null() | 0.001s | passed |
testInstantiateLabels_taclet() | 5.384s | passed |
testInstantiateLabels_updates_allRules() | 5.001s | passed |
testInstantiateLabels_updates_ruleSpecific() | 5.090s | passed |
testParseLabel() | 5.070s | passed |
testrefactorGoal_childrenAndGrandchildren_allRules() | 5.046s | passed |
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.098s | passed |
testrefactorGoal_directChildren_allRules() | 5.350s | passed |
testrefactorGoal_directChildren_ruleSpecific() | 5.021s | passed |
testrefactorGoal_none_allRules() | 5.025s | passed |
testrefactorGoal_none_ruleSpecific() | 6.253s | passed |
testrefactorGoal_sequent_allRules() | 5.076s | passed |
testrefactorGoal_sequent_ruleSpecific() | 5.082s | passed |
Standard output
201528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.6ns 201544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201841 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201841 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201841 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201841 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 203054 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 208567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.03s 208567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.8ns 208583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 213706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.9ns 213706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 218764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns 218779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 223863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.3ns 223879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 229215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 229215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 234670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.6ns 234670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 240038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms 240054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.24s 246292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.17ms 246307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 251383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 251383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 251383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.9ns 251398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 256450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 256466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 256466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.7ns 256466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 261467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 261467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 261467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 261483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 266543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 266543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 266543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 271605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 271605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.6ns 271605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 276666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 276666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 276666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.6ns 276681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 281684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 281684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.5ns 281684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 286694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 286709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 286709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.28ms 286725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 291734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 291734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 291734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 296786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 296802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 296802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.2ns 296802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 301847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s