TestClashFreeSubst

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

tests
0

failures
2

ignored
12.584s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.033s passed
testClashInSubstTerm() 0.994s passed
testMultiShareBound() 1.088s passed
testMultiSubst() 1.125s passed
testShare() 1.117s passed
testShareWary() 0.991s passed
testSubst() 1.075s passed
testSubstInSubstTerm() 1.031s passed
testSubstWary() 1.018s passed
testWary0() 1.007s passed
testWary1() 1.075s passed
testWary2() 1.029s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42874      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42874      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43953      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47504      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48536      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48536      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53179      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53179      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58042      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58042      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61403      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61403      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62406      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65827      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65827      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66890      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66890      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71268      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71284      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
74583      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74583      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75568      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75568      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78819      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79804      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83118      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90842      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90842      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91859      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95110      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96126      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96126      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms