TestClashFreeSubst

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

tests
0

failures
2

ignored
9.526s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.806s passed
testClashInSubstTerm() 0.779s passed
testMultiShareBound() 0.828s passed
testMultiSubst() 0.797s passed
testShare() 0.795s passed
testShareWary() 0.811s passed
testSubst() 0.793s passed
testSubstInSubstTerm() 0.776s passed
testSubstWary() 0.775s passed
testWary0() 0.784s passed
testWary1() 0.779s passed
testWary2() 0.803s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

30913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
30913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
31735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34362      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34363      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35161      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37735      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38526      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38527      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41122      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41122      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44517      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45298      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45299      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47836      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47836      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48613      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48613      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51164      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51960      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51963      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54514      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55289      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55290      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57813      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57814      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58620      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61147      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61147      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66978      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66979      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67752      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67752      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms