TestClashFreeSubst

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

tests
0

failures
2

ignored
12.688s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.099s passed
testClashInSubstTerm() 1.055s passed
testMultiShareBound() 1.154s passed
testMultiSubst() 1.100s passed
testShare() 1.050s passed
testShareWary() 1.014s passed
testSubst() 1.090s passed
testSubstInSubstTerm() 0.991s passed
testSubstWary() 1.022s passed
testWary0() 1.042s passed
testWary1() 1.045s passed
testWary2() 1.026s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41786      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
41786      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41786      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41787      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42933      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42933      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42934      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
42934      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46545      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46545      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46546      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
46546      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47636      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47637      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47637      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47638      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51137      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51138      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51138      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51139      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52182      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52183      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52184      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52184      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55688      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56770      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56771      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60179      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60179      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60180      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61216      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61216      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64707      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64708      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64708      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64709      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65747      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65748      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65748      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65749      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69144      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70167      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73512      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73512      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73512      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73512      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74564      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74564      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74564      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74565      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77930      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
77930      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78938      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78940      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
78940      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82413      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82414      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82414      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82414      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83510      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83511      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83511      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83512      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
90360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
90360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
90361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91346      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91347      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91347      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91348      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
94752      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94752      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94753      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
94753      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95768      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95769      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95770      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95771      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0