TestClashFreeSubst

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

tests
0

failures
2

ignored
12.013s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.032s passed
testClashInSubstTerm() 0.993s passed
testMultiShareBound() 1.180s passed
testMultiSubst() 0.978s passed
testShare() 0.971s passed
testShareWary() 0.974s passed
testSubst() 0.960s passed
testSubstInSubstTerm() 0.976s passed
testSubstWary() 0.980s passed
testWary0() 1.003s passed
testWary1() 0.983s passed
testWary2() 0.983s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40281      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40281      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40281      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41462      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41462      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41462      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41462      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44883      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44883      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44883      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44883      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45913      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45913      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49096      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49096      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49096      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49096      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50074      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50074      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50074      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50074      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53254      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53254      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53254      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53254      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54203      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54203      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54203      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57405      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57405      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57421      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58415      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58415      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58415      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58415      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61572      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61572      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62545      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62545      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62545      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65727      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65727      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65727      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65727      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66696      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66696      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66696      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69915      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69915      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69915      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69915      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70893      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70893      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70893      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73987      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73987      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73987      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73987      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74968      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74968      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78099      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78099      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78099      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78099      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79065      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79065      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79065      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79065      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85370      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85370      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85370      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86329      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86329      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86329      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86329      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89465      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89465      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89465      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89465      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90437      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90437      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90437      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90437      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0