TestClashFreeSubst

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

tests
0

failures
2

ignored
13.997s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.177s passed
testClashInSubstTerm() 1.149s passed
testMultiShareBound() 1.234s passed
testMultiSubst() 1.121s passed
testShare() 1.177s passed
testShareWary() 1.133s passed
testSubst() 1.184s passed
testSubstInSubstTerm() 1.182s passed
testSubstWary() 1.137s passed
testWary0() 1.163s passed
testWary1() 1.185s passed
testWary2() 1.155s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

49186      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49186      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49186      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49186      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50405      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50405      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50420      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54328      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54328      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
54344      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59331      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59362      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59362      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59362      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60503      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60503      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60503      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60503      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64288      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64288      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64288      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65461      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65461      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65461      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65461      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69277      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69277      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69277      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70435      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70435      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70435      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70435      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74140      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74140      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75314      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75314      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79018      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79018      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79018      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80159      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80159      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80159      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80159      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83959      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83959      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83959      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83959      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85100      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85100      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85100      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85100      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88790      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88790      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88790      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88790      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89916      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89916      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89916      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89916      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93591      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93591      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93591      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93591      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94686      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94686      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
103378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0