TestClashFreeSubst

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

tests
0

failures
2

ignored
12.505s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.023s passed
testClashInSubstTerm() 1.086s passed
testMultiShareBound() 1.103s passed
testMultiSubst() 1.083s passed
testShare() 1.006s passed
testShareWary() 1.016s passed
testSubst() 1.003s passed
testSubstInSubstTerm() 1.024s passed
testSubstWary() 1.025s passed
testWary0() 0.992s passed
testWary1() 1.056s passed
testWary2() 1.088s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44705      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44705      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49332      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49332      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50348      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53619      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53619      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54624      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57853      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57853      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58837      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58853      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66388      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66388      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70781      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70781      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75174      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75174      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79613      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79613      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80630      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80630      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84117      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84117      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85165      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91904      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91904      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92920      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92920      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96297      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96297      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97313      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97313      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms