TestClashFreeSubst

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

tests
0

failures
2

ignored
9.502s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.873s passed
testClashInSubstTerm() 0.767s passed
testMultiShareBound() 0.813s passed
testMultiSubst() 0.771s passed
testShare() 0.817s passed
testShareWary() 0.768s passed
testSubst() 0.777s passed
testSubstInSubstTerm() 0.775s passed
testSubstWary() 0.776s passed
testWary0() 0.787s passed
testWary1() 0.783s passed
testWary2() 0.795s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35059      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35059      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35059      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35059      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35860      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35860      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38526      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38526      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38526      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39402      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39402      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39402      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41989      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41989      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41989      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41989      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42803      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42803      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45334      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45334      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46107      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46107      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46107      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46107      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48636      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48636      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49421      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49421      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49421      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49421      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51953      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51953      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52725      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52725      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55209      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55209      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55990      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55990      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56006      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
56006      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58493      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58493      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58493      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58493      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59245      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59245      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59245      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59245      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61722      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61722      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61722      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64969      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64969      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64969      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64969      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65736      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65736      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70685      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70685      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70685      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74000      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74000      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74015      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
74015      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74778      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74778      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0