TestClashFreeSubst

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

tests
0

failures
2

ignored
11.892s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.015s passed
testClashInSubstTerm() 0.966s passed
testMultiShareBound() 1.020s passed
testMultiSubst() 0.988s passed
testShare() 0.994s passed
testShareWary() 0.963s passed
testSubst() 1.036s passed
testSubstInSubstTerm() 0.965s passed
testSubstWary() 0.966s passed
testWary0() 0.968s passed
testWary1() 1.044s passed
testWary2() 0.967s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

37434      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37434      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38448      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38449      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41740      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42747      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46181      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
46181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47172      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50348      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50348      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54610      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
54610      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55575      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55575      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58709      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58709      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59750      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59750      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62966      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62967      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63931      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67053      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67053      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68016      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68016      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71196      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71196      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
72156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76377      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83607      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83608      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
86731      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87688      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms