TestClashFreeSubst

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

tests
0

failures
2

ignored
11.873s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.154s passed
testClashInSubstTerm() 0.980s passed
testMultiShareBound() 1.037s passed
testMultiSubst() 0.967s passed
testShare() 1.004s passed
testShareWary() 0.919s passed
testSubst() 0.988s passed
testSubstInSubstTerm() 0.885s passed
testSubstWary() 0.888s passed
testWary0() 1.060s passed
testWary1() 0.977s passed
testWary2() 1.014s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36960      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36961      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37992      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37993      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41580      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41582      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42722      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
46219      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47219      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50561      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54734      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55791      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55791      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59210      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60181      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60182      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63477      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63478      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64487      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67895      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67896      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68870      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68871      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72055      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72057      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72970      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72971      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75988      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75988      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82876      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83737      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83738      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87585      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms