TestClashFreeSubst

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

tests
0

failures
2

ignored
9.997s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.878s passed
testClashInSubstTerm() 0.823s passed
testMultiShareBound() 0.881s passed
testMultiSubst() 0.793s passed
testShare() 0.855s passed
testShareWary() 0.810s passed
testSubst() 0.830s passed
testSubstInSubstTerm() 0.816s passed
testSubstWary() 0.815s passed
testWary0() 0.825s passed
testWary1() 0.819s passed
testWary2() 0.852s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36533      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36533      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37408      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37408      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40254      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40254      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41129      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41129      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43865      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48258      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50963      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51776      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51776      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54465      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54465      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55277      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58763      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58763      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61421      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61421      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62234      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64875      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64875      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65689      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69114      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75227      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75227      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78682      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78682      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms