TestClashFreeSubst

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

tests
0

failures
2

ignored
11.728s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.040s passed
testClashInSubstTerm() 0.977s passed
testMultiShareBound() 1.080s passed
testMultiSubst() 1.022s passed
testShare() 0.939s passed
testShareWary() 0.972s passed
testSubst() 0.923s passed
testSubstInSubstTerm() 1.020s passed
testSubstWary() 0.976s passed
testWary0() 0.925s passed
testWary1() 0.938s passed
testWary2() 0.916s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36727      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36729      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
37798      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42189      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42190      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45502      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45502      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46438      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46439      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49764      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49765      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50684      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53720      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54641      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54641      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57638      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58574      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58574      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61604      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61605      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65518      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66490      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66491      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69532      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70500      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70501      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74834      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74835      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
81229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82246      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85247      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86221      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms