TestClashFreeSubst

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

tests
0

failures
2

ignored
16.881s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.436s passed
testClashInSubstTerm() 1.513s passed
testMultiShareBound() 1.377s passed
testMultiSubst() 1.509s passed
testShare() 1.355s passed
testShareWary() 1.381s passed
testSubst() 1.372s passed
testSubstInSubstTerm() 1.396s passed
testSubstWary() 1.269s passed
testWary0() 1.348s passed
testWary1() 1.584s passed
testWary2() 1.341s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53324      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54688      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54692      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59297      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59298      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
60729      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60729      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60730      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65329      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65330      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65330      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65331      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66679      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
66680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66680      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71361      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71362      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71362      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72730      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72731      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
77385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77388      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
77388      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78727      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78727      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
83384      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83385      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84963      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84963      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89622      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89623      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89623      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89623      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90959      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90960      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90960      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90960      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95532      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95533      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97038      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
97039      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
101775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
101776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
108023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
118869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
124885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
126152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0