TestClashFreeSubst

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

tests
0

failures
2

ignored
16.906s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.508s passed
testClashInSubstTerm() 1.542s passed
testMultiShareBound() 1.548s passed
testMultiSubst() 1.358s passed
testShare() 1.338s passed
testShareWary() 1.362s passed
testSubst() 1.557s passed
testSubstInSubstTerm() 1.281s passed
testSubstWary() 1.300s passed
testWary0() 1.387s passed
testWary1() 1.373s passed
testWary2() 1.352s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

56669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56669      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56669      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
58217      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62987      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62987      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62987      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62987      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64493      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64493      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69052      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69052      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69052      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69052      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70397      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70397      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70397      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70397      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75192      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75193      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75193      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75193      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76743      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76743      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76743      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81452      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81452      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82827      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82827      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87262      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87262      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88630      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88630      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93233      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93233      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94569      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94569      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94569      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94569      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98983      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98983      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98983      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98983      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 47 ms 
106279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
110710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0