TestClashFreeSubst

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

tests
0

failures
2

ignored
19.411s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.572s passed
testClashInSubstTerm() 1.567s passed
testMultiShareBound() 1.650s passed
testMultiSubst() 1.618s passed
testShare() 1.621s passed
testShareWary() 1.650s passed
testSubst() 1.715s passed
testSubstInSubstTerm() 1.759s passed
testSubstWary() 1.564s passed
testWary0() 1.570s passed
testWary1() 1.572s passed
testWary2() 1.553s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

67319      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67319      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67319      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67319      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68952      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68952      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68952      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68952      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74191      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74191      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74191      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74191      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75759      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75759      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75759      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75759      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80917      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80917      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80917      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80933      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82528      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82528      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82528      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82528      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87922      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87922      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87922      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87922      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89641      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89642      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89642      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89642      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95162      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95162      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95162      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95162      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96711      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96711      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96711      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96711      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
103356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
103356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
103371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
103371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
115067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
115067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
115067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
115067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
130289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
142577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
142577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
142577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
142577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
147675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0