TestClashFreeSubst

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

tests
0

failures
2

ignored
9.783s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.902s passed
testClashInSubstTerm() 0.799s passed
testMultiShareBound() 0.865s passed
testMultiSubst() 0.784s passed
testShare() 0.840s passed
testShareWary() 0.784s passed
testSubst() 0.799s passed
testSubstInSubstTerm() 0.797s passed
testSubstWary() 0.784s passed
testWary0() 0.802s passed
testWary1() 0.811s passed
testWary2() 0.815s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

34621      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35472      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35472      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42139      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42967      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42967      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45631      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45631      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46439      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46439      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48999      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48999      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49803      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49803      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52402      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53205      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53205      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55775      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55775      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56587      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56587      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59133      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59149      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59943      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59943      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62513      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62513      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63293      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63293      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65856      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66634      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66634      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71749      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71749      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72523      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75070      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75070      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75861      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms