TestClashFreeSubst

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

tests
0

failures
2

ignored
12.877s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.125s passed
testClashInSubstTerm() 1.061s passed
testMultiShareBound() 1.120s passed
testMultiSubst() 1.009s passed
testShare() 0.994s passed
testShareWary() 1.112s passed
testSubst() 1.090s passed
testSubstInSubstTerm() 1.113s passed
testSubstWary() 1.035s passed
testWary0() 1.126s passed
testWary1() 1.013s passed
testWary2() 1.079s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44339      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
44339      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45449      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45449      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49015      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49031      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
50140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53690      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53690      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54675      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58162      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59241      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62868      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62868      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63994      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63994      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67261      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67261      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71764      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71764      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72843      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76251      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76251      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77299      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80754      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81833      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81833      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86335      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93169      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93169      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97563      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97563      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98595      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98595      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms