TestClashFreeSubst

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

tests
0

failures
2

ignored
9.242s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.795s passed
testClashInSubstTerm() 0.759s passed
testMultiShareBound() 0.801s passed
testMultiSubst() 0.751s passed
testShare() 0.784s passed
testShareWary() 0.752s passed
testSubst() 0.773s passed
testSubstInSubstTerm() 0.790s passed
testSubstWary() 0.756s passed
testWary0() 0.759s passed
testWary1() 0.760s passed
testWary2() 0.762s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

29688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
29688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
30484      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
30485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33017      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33018      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33807      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33808      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
36317      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36318      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37098      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37099      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39625      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40393      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40394      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42905      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
42905      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43658      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43659      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46163      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46164      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49393      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50149      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52635      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52636      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53390      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53390      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55899      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55899      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56648      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56648      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59111      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59112      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
59860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64854      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64854      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65638      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65639      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68104      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68104      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms