TestClashFreeSubst

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

tests
0

failures
2

ignored
19.968s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.629s passed
testClashInSubstTerm() 1.584s passed
testMultiShareBound() 1.665s passed
testMultiSubst() 1.600s passed
testShare() 1.583s passed
testShareWary() 1.739s passed
testSubst() 1.600s passed
testSubstInSubstTerm() 2.091s passed
testSubstWary() 1.681s passed
testWary0() 1.546s passed
testWary1() 1.674s passed
testWary2() 1.576s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64790      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64790      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64790      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64790      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66434      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66450      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71810      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71810      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71810      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71810      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73422      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73422      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73422      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73422      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78638      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78638      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78638      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80208      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80208      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80208      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80208      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85325      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85325      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85325      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85325      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86928      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86928      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86928      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86928      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92061      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92061      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92061      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93603      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93603      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93603      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93603      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98754      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98754      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98754      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
112837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
150014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
150014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
150014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
150014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0