TestTermLabelManager

21

tests

0

failures

0

ignored

52.035s

duration

100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.646s passed
testGetTermLabelManager() 0.003s passed
testInstantiateLabels_applicationTermPolicies() 2.652s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.680s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.656s passed
testInstantiateLabels_directChildPolicies_allRules() 3.969s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.654s passed
testInstantiateLabels_modalityTermPolicies() 2.690s passed
testInstantiateLabels_null() 0s passed
testInstantiateLabels_taclet() 2.649s passed
testInstantiateLabels_updates_allRules() 2.654s passed
testInstantiateLabels_updates_ruleSpecific() 2.663s passed
testParseLabel() 2.659s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.717s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.711s passed
testrefactorGoal_directChildren_allRules() 2.697s passed
testrefactorGoal_directChildren_ruleSpecific() 2.665s passed
testrefactorGoal_none_allRules() 2.665s passed
testrefactorGoal_none_ruleSpecific() 2.669s passed
testrefactorGoal_sequent_allRules() 2.660s passed
testrefactorGoal_sequent_ruleSpecific() 2.676s passed

Standard output

104433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
104433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 
104449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
104636     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
104636     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
104636     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
104636     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
105231     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
108390     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 
108405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
108405     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.4ns 
108405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
111047     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
111063     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
111063     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns 
111063     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
113720     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
113720     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
113720     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.3ns 
113735     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
116425     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
116441     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
116441     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.7ns 
116441     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
119115     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
119130     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
119130     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 
119130     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
121803     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
121803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
121803     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 528.1ns 
121818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
124460     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
124460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
124460     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 481ns 
124460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
127119     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
127135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
127135     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 764.8ns 
127135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
129792     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
129792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
129792     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.2ns 
129808     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
132466     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
132481     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
132481     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns 
132481     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
135123     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
135123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
135123     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.5ns 
135123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
137781     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
137781     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
137781     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 
137797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
140501     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
140517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
140517     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 
140517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
143158     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
143158     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
143158     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns 
143174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
145848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
145848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
145848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197ns 
145848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
148507     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
148522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
148522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns 
148522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
151179     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
151179     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
151179     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 
151195     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
153837     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
153837     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 
153837     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 
153837     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
156479     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s