TestClashFreeSubst

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

tests
0

failures
2

ignored
18.223s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.560s passed
testClashInSubstTerm() 1.504s passed
testMultiShareBound() 1.576s passed
testMultiSubst() 1.447s passed
testShare() 1.539s passed
testShareWary() 1.477s passed
testSubst() 1.533s passed
testSubstInSubstTerm() 1.706s passed
testSubstWary() 1.398s passed
testWary0() 1.515s passed
testWary1() 1.428s passed
testWary2() 1.540s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

65623      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65623      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65623      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65623      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67180      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67180      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67180      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67180      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72235      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72235      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73795      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73795      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73795      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78858      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78858      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80390      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80390      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80390      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80390      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85382      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85382      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85382      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85382      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86903      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86903      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86903      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91921      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91921      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91921      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93419      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93434      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
98176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98176      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98176      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99609      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99609      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99609      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99609      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
135940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0