TestClashFreeSubst

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

tests
0

failures
2

ignored
12.440s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.042s passed
testClashInSubstTerm() 1.011s passed
testMultiShareBound() 1.033s passed
testMultiSubst() 1.034s passed
testShare() 1.016s passed
testShareWary() 1.057s passed
testSubst() 1.001s passed
testSubstInSubstTerm() 1.102s passed
testSubstWary() 1.047s passed
testWary0() 1.070s passed
testWary1() 1.018s passed
testWary2() 1.009s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39747      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44189      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44190      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48514      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49525      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49526      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 1 ms 
52863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57202      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57202      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58268      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58268      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61546      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62560      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65884      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65885      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66888      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 
70191      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70192      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71196      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71197      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74486      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74487      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75540      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75540      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78844      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78845      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79874      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86414      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87511      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90862      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90863      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91905      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
91905      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms