TestTermLabelManager

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

tests
0

failures
0

ignored
55.033s

duration
100%

successful

Tests

Test Duration Result
testGetSupportedTermLabelNames() 2.687s passed
testGetTermLabelManager() 0.001s passed
testInstantiateLabels_applicationTermPolicies() 2.833s passed
testInstantiateLabels_childAndGrandchildPolicies_allRules() 2.871s passed
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() 2.760s passed
testInstantiateLabels_directChildPolicies_allRules() 4.024s passed
testInstantiateLabels_directChildPolicies_ruleSpecific() 2.799s passed
testInstantiateLabels_modalityTermPolicies() 2.764s passed
testInstantiateLabels_null() 0s passed
testInstantiateLabels_taclet() 3.217s passed
testInstantiateLabels_updates_allRules() 2.749s passed
testInstantiateLabels_updates_ruleSpecific() 2.926s passed
testParseLabel() 2.826s passed
testrefactorGoal_childrenAndGrandchildren_allRules() 2.784s passed
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() 2.813s passed
testrefactorGoal_directChildren_allRules() 2.842s passed
testrefactorGoal_directChildren_ruleSpecific() 2.717s passed
testrefactorGoal_none_allRules() 2.727s passed
testrefactorGoal_none_ruleSpecific() 3.023s passed
testrefactorGoal_sequent_allRules() 2.802s passed
testrefactorGoal_sequent_ruleSpecific() 2.868s passed

Standard output

108590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
108590     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.1ns 
108591     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
108795     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
108796     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
108796     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
108796     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
109428     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
112610     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 
112614     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
112614     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.2ns 
112614     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
115370     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
115374     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
115374     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 102ns 
115375     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
118197     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 
118200     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
118200     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.5ns 
118200     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
121005     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
121013     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
121013     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.7ns 
121014     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
123848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 
123856     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
123856     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 260ns 
123857     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
126723     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 
126727     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
126727     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 
126728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
129941     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
129944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
129944     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns 
129945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
132959     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 
132966     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
132967     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.9ns 
132967     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
135890     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 
135894     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
135894     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns 
135895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
138753     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
138768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
138769     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.1ns 
138769     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
141515     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
141518     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
141518     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.9ns 
141518     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
144309     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
144320     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
144320     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.1ns 
144321     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
147096     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
147105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
147105     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.9ns 
147106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
149935     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 
149938     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
149939     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 
149939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
152700     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
152703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
152703     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.5ns 
152703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
155423     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
155430     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
155430     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 
155430     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
158140     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
158147     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
158147     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.1ns 
158148     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
160944     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
160947     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
160947     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.8ns 
160948     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
163632     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s