TestClashFreeSubst

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

tests
0

failures
2

ignored
21.028s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.794s passed
testClashInSubstTerm() 1.714s passed
testMultiShareBound() 1.741s passed
testMultiSubst() 1.833s passed
testShare() 1.741s passed
testShareWary() 1.660s passed
testSubst() 1.688s passed
testSubstInSubstTerm() 1.719s passed
testSubstWary() 1.780s passed
testWary0() 1.720s passed
testWary1() 1.880s passed
testWary2() 1.758s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

69741      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69741      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69741      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71466      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71466      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71466      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71466      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84629      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
84629      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86344      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86344      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86344      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86344      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92004      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92004      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92004      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92004      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93689      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93689      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93689      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93689      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99657      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99657      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99657      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99657      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
129593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
129593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
129593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
129593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
136950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
136950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
138772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
151526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
151526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
151526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
151526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
157335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
157335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
157335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
157335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
159101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
159101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
159101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
159101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0