TestClashFreeSubst

all > de.uka.ilkd.key.logic > TestClashFreeSubst
14

tests
0

failures
2

ignored
19.001s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.574s passed
testClashInSubstTerm() 1.559s passed
testMultiShareBound() 1.645s passed
testMultiSubst() 1.582s passed
testShare() 1.558s passed
testShareWary() 1.563s passed
testSubst() 1.580s passed
testSubstInSubstTerm() 1.696s passed
testSubstWary() 1.579s passed
testWary0() 1.589s passed
testWary1() 1.529s passed
testWary2() 1.547s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

63872      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63872      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63872      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63872      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70664      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70664      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70664      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70664      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77302      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77302      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83943      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83943      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83943      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85512      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85512      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90660      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90660      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90660      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92249      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
92249      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
97335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97335      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97335      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97335      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98861      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98861      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98861      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
118690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
135413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
137092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
137092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
137092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
137092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
143721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
143721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
143721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
143721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0