TestClashFreeSubst

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

tests
0

failures
2

ignored
9.469s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.808s passed
testClashInSubstTerm() 0.785s passed
testMultiShareBound() 0.841s passed
testMultiSubst() 0.777s passed
testShare() 0.795s passed
testShareWary() 0.770s passed
testSubst() 0.803s passed
testSubstInSubstTerm() 0.757s passed
testSubstWary() 0.763s passed
testWary0() 0.779s passed
testWary1() 0.787s passed
testWary2() 0.804s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

33972      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33972      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34785      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34785      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38273      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38273      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40867      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40867      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41665      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44244      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44244      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45041      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45041      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47620      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47620      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54248      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54248      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57562      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61612      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61612      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64146      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64146      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70698      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70698      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73215      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73981      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms