TestClashFreeSubst

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

tests
0

failures
2

ignored
11.677s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.972s passed
testClashInSubstTerm() 0.966s passed
testMultiShareBound() 0.985s passed
testMultiSubst() 0.920s passed
testShare() 1.029s passed
testShareWary() 0.910s passed
testSubst() 1.028s passed
testSubstInSubstTerm() 0.917s passed
testSubstWary() 0.959s passed
testWary0() 0.939s passed
testWary1() 0.999s passed
testWary2() 1.053s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40135      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41115      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44524      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44525      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45489      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49743      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49743      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53064      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53065      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54089      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54090      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57271      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57271      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58207      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61352      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
61352      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62348      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65631      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65632      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66680      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69904      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
70866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74049      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74050      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74953      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78210      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78210      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79127      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79128      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85482      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85482      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86395      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86396      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89628      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89629      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
90582      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90583      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms