TestClashFreeSubst

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

tests
0

failures
2

ignored
16.920s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.421s passed
testClashInSubstTerm() 1.407s passed
testMultiShareBound() 1.465s passed
testMultiSubst() 1.395s passed
testShare() 1.476s passed
testShareWary() 1.380s passed
testSubst() 1.401s passed
testSubstInSubstTerm() 1.380s passed
testSubstWary() 1.379s passed
testWary0() 1.397s passed
testWary1() 1.388s passed
testWary2() 1.431s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

54495      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
54495      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54495      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54495      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55953      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55954      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55954      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60597      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
60597      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60598      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62009      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62011      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62012      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66671      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66671      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66671      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66671      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68145      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74113      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
74114      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78832      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78832      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78833      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78833      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80225      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80226      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80226      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80226      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84815      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84816      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86200      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86200      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86200      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
90776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
90776      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90776      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92203      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92203      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92203      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96850      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96851      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
96854      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98252      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98254      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
98254      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
110110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
120622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
126566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
126567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0