TestClashFreeSubst

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

tests
0

failures
2

ignored
16.733s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.389s passed
testClashInSubstTerm() 1.379s passed
testMultiShareBound() 1.452s passed
testMultiSubst() 1.360s passed
testShare() 1.414s passed
testShareWary() 1.419s passed
testSubst() 1.371s passed
testSubstInSubstTerm() 1.364s passed
testSubstWary() 1.380s passed
testWary0() 1.429s passed
testWary1() 1.355s passed
testWary2() 1.420s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

57287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57287      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57287      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58728      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58728      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58728      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58728      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63271      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63271      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63271      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63271      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69148      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69148      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70556      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 
75101      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75101      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75101      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75101      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76480      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
76480      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76480      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76480      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80999      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80999      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80999      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82422      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82422      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82422      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86912      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86912      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86912      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86912      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
88272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
88272      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
88272      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
88272      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92886      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92886      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94302      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94302      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
126644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
126644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
126644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
126644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
128011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
128011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
128011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
128011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0