TestClashFreeSubst

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

tests
0

failures
2

ignored
12.050s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.011s passed
testClashInSubstTerm() 0.997s passed
testMultiShareBound() 1.065s passed
testMultiSubst() 0.976s passed
testShare() 1.008s passed
testShareWary() 0.978s passed
testSubst() 1.002s passed
testSubstInSubstTerm() 0.962s passed
testSubstWary() 0.975s passed
testWary0() 1.011s passed
testWary1() 1.047s passed
testWary2() 1.018s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

40234      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
40236      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41292      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41293      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45684      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45685      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49038      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50041      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50043      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54351      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54352      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
57689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58693      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58694      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61974      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63018      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66337      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66338      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67346      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67347      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70615      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70615      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71610      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71610      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74850      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74850      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75825      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75826      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79018      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
79991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79992      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86498      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86499      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87457      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87458      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91683      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms