TestClashFreeSubst

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

tests
0

failures
2

ignored
13.814s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.358s passed
testClashInSubstTerm() 1.074s passed
testMultiShareBound() 1.260s passed
testMultiSubst() 1.062s passed
testShare() 1.243s passed
testShareWary() 1.038s passed
testSubst() 1.223s passed
testSubstInSubstTerm() 1.013s passed
testSubstWary() 1.140s passed
testWary0() 1.089s passed
testWary1() 1.184s passed
testWary2() 1.130s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

74168      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74168      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74168      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74168      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75420      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75420      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75420      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75420      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79531      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79531      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80875      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80875      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84580      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84596      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84596      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84596      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85831      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85831      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85831      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89614      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90833      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90833      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90833      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90833      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94648      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94648      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94648      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94648      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95727      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95727      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99323      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99323      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99323      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
132547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
132547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
132547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
132547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0