TestClashFreeSubst

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

tests
0

failures
2

ignored
19.072s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.576s passed
testClashInSubstTerm() 1.576s passed
testMultiShareBound() 1.721s passed
testMultiSubst() 1.621s passed
testShare() 1.572s passed
testShareWary() 1.574s passed
testSubst() 1.585s passed
testSubstInSubstTerm() 1.560s passed
testSubstWary() 1.552s passed
testWary0() 1.540s passed
testWary1() 1.594s passed
testWary2() 1.601s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

62957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62957      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62957      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64668      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64668      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64668      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69867      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69867      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71438      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71438      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71438      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71438      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76592      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76592      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76592      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76592      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78146      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
78162      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83288      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83288      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83288      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84858      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84858      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89946      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89946      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89946      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89946      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96536      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96536      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98112      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98112      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
103194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
124746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
134812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
136355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
136355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
141494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
143038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
143038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
143038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
143038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0