TestClashFreeSubst

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

tests
0

failures
2

ignored
9.679s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.825s passed
testClashInSubstTerm() 0.805s passed
testMultiShareBound() 0.835s passed
testMultiSubst() 0.798s passed
testShare() 0.822s passed
testShareWary() 0.806s passed
testSubst() 0.816s passed
testSubstInSubstTerm() 0.791s passed
testSubstWary() 0.792s passed
testWary0() 0.804s passed
testWary1() 0.800s passed
testWary2() 0.785s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

31529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
32357      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
32359      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
35045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
35863      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35865      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38516      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39331      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39332      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41958      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41959      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45407      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45407      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46206      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46208      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
48842      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48843      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49637      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53084      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53084      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55699      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55699      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56498      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56499      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60000      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60001      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62609      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62609      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63403      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68559      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69347      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69347      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms