TestClashFreeSubst

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

tests
0

failures
2

ignored
11.776s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.966s passed
testClashInSubstTerm() 0.904s passed
testMultiShareBound() 1.049s passed
testMultiSubst() 0.948s passed
testShare() 0.994s passed
testShareWary() 0.968s passed
testSubst() 1.069s passed
testSubstInSubstTerm() 0.907s passed
testSubstWary() 0.931s passed
testWary0() 0.955s passed
testWary1() 1.090s passed
testWary2() 0.995s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41418      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41418      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44833      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45774      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45774      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49954      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49954      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53063      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53063      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57243      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57243      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58178      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61378      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61378      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62464      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65723      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65739      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66716      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70814      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70814      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73983      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74945      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74945      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78066      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78066      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79013      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79013      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86043      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86043      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89109      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89109      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90041      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90041      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms