TestClashFreeSubst

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

tests
0

failures
2

ignored
11.385s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.882s passed
testClashInSubstTerm() 1.381s passed
testMultiShareBound() 0.878s passed
testMultiSubst() 0.869s passed
testShare() 0.871s passed
testShareWary() 0.837s passed
testSubst() 0.861s passed
testSubstInSubstTerm() 0.835s passed
testSubstWary() 0.913s passed
testWary0() 0.848s passed
testWary1() 0.864s passed
testWary2() 1.346s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42072      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42088      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
42948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45808      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45808      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46684      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46684      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50405      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51265      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51265      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54048      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54048      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54908      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54908      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57596      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57596      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58440      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58440      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61176      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
61176      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62020      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62036      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
66273      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66273      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67602      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67602      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71621      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71621      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72981      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75873      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75873      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76702      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76702      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79421      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79421      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80281      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80281      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85706      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86519      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86519      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90302      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91209      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91209      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms