TestClashFreeSubst

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

tests
0

failures
2

ignored
11.126s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.941s passed
testClashInSubstTerm() 0.902s passed
testMultiShareBound() 1.087s passed
testMultiSubst() 0.914s passed
testShare() 0.912s passed
testShareWary() 0.893s passed
testSubst() 0.892s passed
testSubstInSubstTerm() 0.912s passed
testSubstWary() 0.907s passed
testWary0() 0.939s passed
testWary1() 0.904s passed
testWary2() 0.923s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35559      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35560      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36632      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36633      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
39690      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39691      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40626      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40627      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44525      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
47488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48378      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48378      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51354      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51355      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52289      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55235      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56132      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59071      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59072      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59989      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59989      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62973      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62974      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
63873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63873      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70657      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70659      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71567      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71568      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78379      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
82198      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82199      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms