TestClashFreeSubst

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

tests
0

failures
2

ignored
13.948s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.110s passed
testClashInSubstTerm() 1.117s passed
testMultiShareBound() 1.202s passed
testMultiSubst() 1.047s passed
testShare() 1.247s passed
testShareWary() 1.130s passed
testSubst() 1.290s passed
testSubstInSubstTerm() 1.130s passed
testSubstWary() 1.034s passed
testWary0() 1.337s passed
testWary1() 1.194s passed
testWary2() 1.110s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

49722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49737      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
50925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50925      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54556      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54556      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54556      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55652      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59192      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59192      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59192      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59192      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60427      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60427      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60427      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60427      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64068      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64068      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64068      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64068      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65340      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65340      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65340      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65340      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69032      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69032      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73854      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73854      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73854      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73854      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75041      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75041      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75041      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75041      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78654      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78654      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78654      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78654      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79767      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79767      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79767      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83361      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84478      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84478      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84478      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84479      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
88147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88147      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88147      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89270      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89270      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89270      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89270      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92937      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92937      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92937      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92937      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93976      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0