TestClashFreeSubst

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

tests
0

failures
2

ignored
9.460s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.804s passed
testClashInSubstTerm() 0.780s passed
testMultiShareBound() 0.826s passed
testMultiSubst() 0.777s passed
testShare() 0.796s passed
testShareWary() 0.780s passed
testSubst() 0.795s passed
testSubstInSubstTerm() 0.772s passed
testSubstWary() 0.769s passed
testWary0() 0.781s passed
testWary1() 0.799s passed
testWary2() 0.781s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

30416      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
30418      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
31235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31237      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34653      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
34653      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37232      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38024      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38024      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40600      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40603      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41391      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43934      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
43934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44710      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44710      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50575      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51350      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51351      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53902      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53903      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54677      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57247      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58021      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60549      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60550      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61321      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61322      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66355      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66355      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67125      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67125      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69637      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69638      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70404      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70405      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms