TestClashFreeSubst

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

tests
0

failures
2

ignored
11.296s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.958s passed
testClashInSubstTerm() 0.935s passed
testMultiShareBound() 0.976s passed
testMultiSubst() 0.925s passed
testShare() 0.953s passed
testShareWary() 0.920s passed
testSubst() 0.935s passed
testSubstInSubstTerm() 0.937s passed
testSubstWary() 0.920s passed
testWary0() 0.979s passed
testWary1() 0.936s passed
testWary2() 0.922s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37057      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37058      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
38029      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38030      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41159      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41159      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42112      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45182      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45182      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46132      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
49199      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49200      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50130      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50131      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54128      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57159      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57160      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58093      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58093      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62024      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62025      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65035      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65036      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65965      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65966      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68971      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68971      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69889      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69889      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72986      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73905      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73906      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79870      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80802      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80802      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83811      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83812      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
84729      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84729      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms