TestClashFreeSubst

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

tests
0

failures
2

ignored
16.050s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.373s passed
testClashInSubstTerm() 1.285s passed
testMultiShareBound() 1.493s passed
testMultiSubst() 1.256s passed
testShare() 1.433s passed
testShareWary() 1.243s passed
testSubst() 1.332s passed
testSubstInSubstTerm() 1.274s passed
testSubstWary() 1.242s passed
testWary0() 1.443s passed
testWary1() 1.335s passed
testWary2() 1.341s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

56968      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56968      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56968      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56968      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58438      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58438      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58438      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58438      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63052      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63052      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63052      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63052      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64428      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64428      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64428      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64428      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69118      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69118      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69133      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
69133      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70540      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70556      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70556      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74933      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74933      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74933      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74933      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76262      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76262      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80858      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80858      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80858      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80858      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82295      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82295      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82295      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82295      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86580      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86580      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86580      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86580      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87909      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87909      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87909      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87909      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92365      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92365      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92365      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92365      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93695      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93695      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93695      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93695      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98072      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98072      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98072      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98072      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99353      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99353      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99353      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99353      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110735     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0