TestTermLabelManager

21

tests

0

failures

0

ignored

1m40.30s

duration

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