TestClashFreeSubst

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

tests
0

failures
2

ignored
11.949s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.999s passed
testClashInSubstTerm() 1.003s passed
testMultiShareBound() 1.028s passed
testMultiSubst() 1.041s passed
testShare() 1.032s passed
testShareWary() 0.978s passed
testSubst() 1.005s passed
testSubstInSubstTerm() 0.947s passed
testSubstWary() 0.942s passed
testWary0() 1.032s passed
testWary1() 0.981s passed
testWary2() 0.960s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41379      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41380      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42399      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42400      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45783      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45783      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46771      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46772      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50006      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50007      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51035      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55337      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
58538      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58539      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
59565      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59566      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
62957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63935      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63935      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67183      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71437      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71437      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72435      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75622      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75622      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
76598      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79768      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79768      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80806      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80806      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87260      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88200      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
88201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
91516      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
91516      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92454      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92455      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms