TestClashFreeSubst

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

tests
0

failures
2

ignored
9.879s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.882s passed
testClashInSubstTerm() 0.822s passed
testMultiShareBound() 0.877s passed
testMultiSubst() 0.811s passed
testShare() 0.796s passed
testShareWary() 0.787s passed
testSubst() 0.816s passed
testSubstInSubstTerm() 0.793s passed
testSubstWary() 0.843s passed
testWary0() 0.799s passed
testWary1() 0.836s passed
testWary2() 0.817s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35105      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35105      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35964      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35964      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38720      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42239      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42239      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45669      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46482      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46482      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49083      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49083      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49868      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49868      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53312      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53312      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55942      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55942      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56755      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56755      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59374      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59374      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60172      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62791      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62791      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63582      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63582      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66991      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72212      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73009      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73009      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75606      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75606      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms