TestClashFreeSubst

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

tests
0

failures
2

ignored
11.389s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.996s passed
testClashInSubstTerm() 0.941s passed
testMultiShareBound() 1.005s passed
testMultiSubst() 0.916s passed
testShare() 0.955s passed
testShareWary() 0.935s passed
testSubst() 0.957s passed
testSubstInSubstTerm() 0.923s passed
testSubstWary() 0.932s passed
testWary0() 0.935s passed
testWary1() 0.934s passed
testWary2() 0.960s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36431      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36432      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
37430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
37431      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40628      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40637      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 8 ms 
41615      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41619      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44777      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45728      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 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 1 ms 
49794      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52863      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52864      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53794      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53795      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56845      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56845      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57777      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57777      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60789      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60789      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61745      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64758      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64758      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65696      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65697      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72819      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73733      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80735      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83771      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84701      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms