TestTermLabelManager

all > de.uka.ilkd.key.logic > TestTermLabelManager
21

tests
0

failures
0

ignored
48.687s

duration
100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.518s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 2.509s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.517s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.511s passed
testInstantiateLabels_directChildPolicies_allRules() 3.399s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.503s passed
testInstantiateLabels_modalityTermPolicies() 2.522s passed
testInstantiateLabels_null() 0s passed
testInstantiateLabels_taclet() 2.518s passed
testInstantiateLabels_updates_allRules() 2.500s passed
testInstantiateLabels_updates_ruleSpecific() 2.504s passed
testParseLabel() 2.515s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.514s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.541s passed
testrefactorGoal_directChildren_allRules() 2.525s passed
testrefactorGoal_directChildren_ruleSpecific() 2.504s passed
testrefactorGoal_none_allRules() 2.494s passed
testrefactorGoal_none_ruleSpecific() 2.572s passed
testrefactorGoal_sequent_allRules() 2.502s passed
testrefactorGoal_sequent_ruleSpecific() 2.518s passed

Standard output

93259      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
93260      DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.5ns 
93261      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
93380      DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
93381      DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
93382      DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
93382      DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
93838      DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
96654      DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
96658      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
96658      DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.7ns 
96659      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
99166      DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
99169      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
99169      DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.2ns 
99169      INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
101681     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
101684     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
101686     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.87ms 
101687     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
104218     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 
104225     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
104225     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.8ns 
104226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
106743     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 
106749     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
106750     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.3ns 
106750     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
109265     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
109267     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
109267     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.4ns 
109268     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
111783     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
111785     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
111785     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.5ns 
111786     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
114351     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
114357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
114357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.6ns 
114358     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
116858     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 
116860     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
116860     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.8ns 
116861     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
119373     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
119379     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
119379     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.5ns 
119380     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
121878     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 
121880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
121880     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.7ns 
121881     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
124376     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 
124382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
124382     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.8ns 
124383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
126890     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
126897     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
126897     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.8ns 
126897     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
129403     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
129406     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
129406     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 
129407     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
131925     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 
131927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
131927     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.4ns 
131928     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
134416     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 
134422     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
134422     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.9ns 
134423     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
136921     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 
136927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
136927     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.9ns 
136927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
139428     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 
139430     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
139430     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.7ns 
139431     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
141945     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s