TestClashFreeSubst

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

tests
0

failures
2

ignored
12.982s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.072s passed
testClashInSubstTerm() 1.061s passed
testMultiShareBound() 1.159s passed
testMultiSubst() 1.113s passed
testShare() 1.064s passed
testShareWary() 1.037s passed
testSubst() 1.143s passed
testSubstInSubstTerm() 1.056s passed
testSubstWary() 1.051s passed
testWary0() 1.057s passed
testWary1() 1.107s passed
testWary2() 1.062s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45377      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
45377      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49087      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49087      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50155      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53766      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53766      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54828      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58413      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59551      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
59552      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63113      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64167      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
68821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72292      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
72293      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73349      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76851      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76851      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77909      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81367      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81367      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82401      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82401      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85877      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85878      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86983      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
93835      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
94887      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94887      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99440      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99440      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms