TestClashFreeSubst

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

tests
0

failures
2

ignored
15.155s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.054s passed
testClashInSubstTerm() 1.445s passed
testMultiShareBound() 1.149s passed
testMultiSubst() 1.221s passed
testShare() 1.137s passed
testShareWary() 1.263s passed
testSubst() 1.234s passed
testSubstInSubstTerm() 1.482s passed
testSubstWary() 1.532s passed
testWary0() 1.282s passed
testWary1() 1.211s passed
testWary2() 1.145s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

46357      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46357      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47498      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47498      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51376      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52409      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56036      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56036      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57162      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57177      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61023      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61023      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62242      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62242      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66354      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76391      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76391      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77532      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77532      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82927      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82927      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86477      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86492      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
87728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87728      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91729      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91729      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms