TestClashFreeSubst

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

tests
0

failures
2

ignored
15.610s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.314s passed
testClashInSubstTerm() 1.283s passed
testMultiShareBound() 1.340s passed
testMultiSubst() 1.282s passed
testShare() 1.315s passed
testShareWary() 1.293s passed
testSubst() 1.312s passed
testSubstInSubstTerm() 1.276s passed
testSubstWary() 1.283s passed
testWary0() 1.310s passed
testWary1() 1.298s passed
testWary2() 1.304s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

53497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53497      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53497      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54836      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54836      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54836      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60517      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60517      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60517      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66136      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66136      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66136      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70371      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71678      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71678      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71678      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71678      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75890      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75890      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75890      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75890      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77175      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77175      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77175      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77190      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81409      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81409      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81409      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82700      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82700      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87017      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87017      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87017      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87017      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88304      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88304      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88304      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88304      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93769      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93769      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97972      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97972      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97972      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97972      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99234      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 32 ms 
99266      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
113174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
119879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0