TestClashFreeSubst

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

tests
0

failures
2

ignored
9.665s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.821s passed
testClashInSubstTerm() 0.804s passed
testMultiShareBound() 0.873s passed
testMultiSubst() 0.775s passed
testShare() 0.807s passed
testShareWary() 0.791s passed
testSubst() 0.809s passed
testSubstInSubstTerm() 0.797s passed
testSubstWary() 0.786s passed
testWary0() 0.808s passed
testWary1() 0.795s passed
testWary2() 0.799s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

31087      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31087      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
31949      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31954      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34707      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
35520      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38183      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38183      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41615      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42420      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45015      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45016      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45818      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48412      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48413      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51770      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52563      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52564      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
55154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55155      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55952      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58547      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58547      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59334      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59335      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61930      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61930      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62702      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62703      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67847      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67848      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
68634      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68641      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71247      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71247      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72031      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms