TestClashFreeSubst

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

tests
0

failures
2

ignored
11.127s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.000s passed
testClashInSubstTerm() 0.905s passed
testMultiShareBound() 0.962s passed
testMultiSubst() 0.928s passed
testShare() 0.924s passed
testShareWary() 0.912s passed
testSubst() 0.941s passed
testSubstInSubstTerm() 0.912s passed
testSubstWary() 0.905s passed
testWary0() 0.919s passed
testWary1() 0.912s passed
testWary2() 0.906s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36259      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
37211      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37212      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40389      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40393      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
41385      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41385      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44404      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44404      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45326      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45326      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49260      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49261      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52255      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52257      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53168      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
53169      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57052      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57053      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60012      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60915      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60915      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63885      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63885      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64787      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64787      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68644      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71625      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72546      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78481      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78482      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79388      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79389      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82334      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83236      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83236      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms