TestClashFreeSubst

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

tests
0

failures
2

ignored
13.397s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.136s passed
testClashInSubstTerm() 1.086s passed
testMultiShareBound() 1.218s passed
testMultiSubst() 1.077s passed
testShare() 1.141s passed
testShareWary() 1.061s passed
testSubst() 1.128s passed
testSubstInSubstTerm() 1.100s passed
testSubstWary() 1.075s passed
testWary0() 1.118s passed
testWary1() 1.126s passed
testWary2() 1.130s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

45795      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45795      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45795      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46983      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46983      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46983      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46983      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50750      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50750      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50750      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50750      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51876      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51876      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51876      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51876      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55597      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55597      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56724      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61382      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61382      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61382      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61382      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64962      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64962      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64962      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64962      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66072      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66072      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66072      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66072      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69558      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69558      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75326      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75326      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75326      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75326      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78843      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78843      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78843      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79921      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79921      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79921      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83454      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83454      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83454      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84501      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84501      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88034      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88034      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89097      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89113      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89113      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89113      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96164      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96164      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97243      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97243      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97243      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97243      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0