TestClashFreeSubst

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

tests
0

failures
2

ignored
12.210s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.092s passed
testClashInSubstTerm() 0.984s passed
testMultiShareBound() 1.041s passed
testMultiSubst() 0.979s passed
testShare() 1.057s passed
testShareWary() 0.969s passed
testSubst() 1.045s passed
testSubstInSubstTerm() 0.998s passed
testSubstWary() 1.020s passed
testWary0() 1.028s passed
testWary1() 1.038s passed
testWary2() 0.959s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39627      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39627      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39628      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39628      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40663      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40664      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40664      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40664      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44194      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44195      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44195      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48691      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48692      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48693      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
48693      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49744      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
49745      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53732      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53733      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53734      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53734      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54772      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58118      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58118      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58118      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59142      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59142      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59143      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62450      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62457      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 6 ms 
62458      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
63485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66771      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66771      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67726      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67727      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70982      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70982      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70982      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70982      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71963      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71964      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
75186      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75186      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75187      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75187      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76150      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76151      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76152      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80257      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
80257      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80257      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80257      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86688      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87682      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87682      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87683      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90986      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
90987      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92001      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92001      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92002      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
92002      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0