TestClashFreeSubst

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

tests
0

failures
2

ignored
11.422s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.994s passed
testClashInSubstTerm() 0.955s passed
testMultiShareBound() 0.972s passed
testMultiSubst() 0.953s passed
testShare() 1.010s passed
testShareWary() 0.947s passed
testSubst() 0.942s passed
testSubstInSubstTerm() 0.934s passed
testSubstWary() 0.897s passed
testWary0() 0.911s passed
testWary1() 0.956s passed
testWary2() 0.951s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36389      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36389      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37358      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
40399      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 7 ms 
41373      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41373      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44476      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45480      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45481      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48598      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52497      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52497      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56404      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57355      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60465      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60465      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61413      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64507      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64508      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
65458      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68514      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
69456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72483      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72483      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73433      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79537      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79538      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80469      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80470      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84345      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms