TestClashFreeSubst

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

tests
0

failures
2

ignored
19.687s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.655s passed
testClashInSubstTerm() 1.609s passed
testMultiShareBound() 1.620s passed
testMultiSubst() 1.652s passed
testShare() 1.574s passed
testShareWary() 1.596s passed
testSubst() 1.615s passed
testSubstInSubstTerm() 1.762s passed
testSubstWary() 1.670s passed
testWary0() 1.670s passed
testWary1() 1.639s passed
testWary2() 1.625s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

64333      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64333      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64333      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64333      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65954      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65955      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65955      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65956      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71372      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71372      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71372      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71372      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73020      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73020      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73020      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73020      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78392      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79950      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79950      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79950      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79950      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85198      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85198      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85198      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85198      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86800      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86800      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86800      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86800      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92344      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92344      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94010      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94010      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94010      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94010      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99440      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99440      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99440      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99440      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
139454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
139454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
139454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
139469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
141205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
141221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
141221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
141221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
146650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
146650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
146650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
146650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
148299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
148299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
148299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
148299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0