TestClashFreeSubst

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

tests
0

failures
2

ignored
11.080s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.962s passed
testClashInSubstTerm() 0.911s passed
testMultiShareBound() 0.940s passed
testMultiSubst() 0.935s passed
testShare() 0.931s passed
testShareWary() 0.889s passed
testSubst() 0.932s passed
testSubstInSubstTerm() 0.931s passed
testSubstWary() 0.900s passed
testWary0() 0.905s passed
testWary1() 0.913s passed
testWary2() 0.931s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

39156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39159      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40087      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40090      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
43383      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43388      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44335      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44337      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47448      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47455      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48373      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51431      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52354      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55408      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55411      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56305      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56307      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59363      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60269      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63330      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63332      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64248      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64249      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67351      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67352      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68257      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72169      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72169      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75248      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
75248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76173      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76175      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82218      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83141      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86230      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86231      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87105      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87114      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms