TestClashFreeSubst

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

tests
0

failures
2

ignored
12.857s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.099s passed
testClashInSubstTerm() 1.011s passed
testMultiShareBound() 1.189s passed
testMultiSubst() 1.052s passed
testShare() 1.060s passed
testShareWary() 1.026s passed
testSubst() 1.098s passed
testSubstInSubstTerm() 1.047s passed
testSubstWary() 1.040s passed
testWary0() 1.089s passed
testWary1() 1.080s passed
testWary2() 1.066s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46029      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46029      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54306      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54306      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54306      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54322      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55371      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58774      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58774      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58774      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59863      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59863      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59863      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64381      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64381      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67932      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67932      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67932      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67932      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72467      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72467      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72467      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73521      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73521      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76833      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76833      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76833      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76833      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77827      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77827      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81186      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81186      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81186      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81186      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82202      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82202      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82202      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85594      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85594      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85594      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85594      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86636      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93301      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93301      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93301      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93301      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94341      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94341      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94341      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97825      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97825      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97825      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97825      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98858      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98858      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0