TestClashFreeSubst

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

tests
0

failures
2

ignored
11.579s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.009s passed
testClashInSubstTerm() 0.932s passed
testMultiShareBound() 0.995s passed
testMultiSubst() 0.956s passed
testShare() 0.947s passed
testShareWary() 0.979s passed
testSubst() 0.939s passed
testSubstInSubstTerm() 0.955s passed
testSubstWary() 1.008s passed
testWary0() 0.973s passed
testWary1() 0.934s passed
testWary2() 0.951s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37593      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37593      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38585      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41689      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42693      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42693      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45946      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45947      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46890      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46891      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50060      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50997      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50997      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54119      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55088      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55089      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58249      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
58249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59180      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62358      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62359      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63304      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66445      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66446      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67374      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67374      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70466      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71441      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74506      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75457      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
81761      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81762      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82713      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82714      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
86860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms