TestClashFreeSubst

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

tests
0

failures
2

ignored
11.087s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.903s passed
testClashInSubstTerm() 0.880s passed
testMultiShareBound() 0.986s passed
testMultiSubst() 0.889s passed
testShare() 0.960s passed
testShareWary() 0.936s passed
testSubst() 0.984s passed
testSubstInSubstTerm() 0.883s passed
testSubstWary() 0.885s passed
testWary0() 0.941s passed
testWary1() 0.933s passed
testWary2() 0.907s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35641      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36618      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36619      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39860      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
39861      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
40753      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
40754      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43883      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43884      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44839      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44840      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47809      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47810      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48790      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48790      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51732      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52669      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55608      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55609      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56539      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59620      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59620      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60516      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
60523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 7 ms 
63408      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63409      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64285      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71071      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71071      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71957      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71957      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77674      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77674      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78553      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78553      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82323      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82324      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms