TestClashFreeSubst

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

tests
0

failures
2

ignored
20.568s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.726s passed
testClashInSubstTerm() 1.646s passed
testMultiShareBound() 1.772s passed
testMultiSubst() 1.687s passed
testShare() 1.689s passed
testShareWary() 1.699s passed
testSubst() 1.801s passed
testSubstInSubstTerm() 1.894s passed
testSubstWary() 1.677s passed
testWary0() 1.677s passed
testWary1() 1.669s passed
testWary2() 1.631s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

68616      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68616      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68616      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68616      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70370      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70370      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70370      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76061      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76061      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76061      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76061      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77780      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77780      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77780      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77780      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83282      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83282      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83282      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83282      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84972      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84972      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84973      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
84973      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90424      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90424      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90424      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90424      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92217      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97716      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97716      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97716      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97716      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99392      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99392      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99392      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99392      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
113593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
119005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
119005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
119005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
119005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
133078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
133078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
133078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
133078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
134751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
134751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
134751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
134751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
145541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
145541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
145541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
145541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
147415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
152819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
152819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
152819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
152819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
154495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
154495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
154495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
154495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0