TestClashFreeSubst

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

tests
0

failures
2

ignored
12.462s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.087s passed
testClashInSubstTerm() 1.022s passed
testMultiShareBound() 1.089s passed
testMultiSubst() 1.042s passed
testShare() 1.059s passed
testShareWary() 1.017s passed
testSubst() 1.017s passed
testSubstInSubstTerm() 1.013s passed
testSubstWary() 1.052s passed
testWary0() 1.014s passed
testWary1() 0.999s passed
testWary2() 1.050s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42529      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46111      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47193      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50715      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55145      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59501      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59502      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60511      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63987      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63988      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
64981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64983      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68365      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68366      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69410      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69411      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72759      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72760      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
73779      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
73779      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77199      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
77200      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78210      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
78211      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81639      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82678      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
89666      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
90676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93995      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93996      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95040      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms