TestClashFreeSubst

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

tests
0

failures
2

ignored
13.033s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.080s passed
testClashInSubstTerm() 1.099s passed
testMultiShareBound() 1.132s passed
testMultiSubst() 1.055s passed
testShare() 1.133s passed
testShareWary() 1.095s passed
testSubst() 1.077s passed
testSubstInSubstTerm() 1.076s passed
testSubstWary() 1.050s passed
testWary0() 1.096s passed
testWary1() 1.079s passed
testWary2() 1.061s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

45270      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45270      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45285      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
45285      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46402      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46402      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46402      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46402      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50084      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
50084      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50084      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50084      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51141      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51141      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
51156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54673      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54688      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54688      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54688      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55798      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55798      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55798      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55798      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59302      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59302      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59302      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59302      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60381      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60381      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60381      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60381      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
63948      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63948      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65034      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65034      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65034      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65034      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68567      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68567      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68567      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68567      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69640      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69640      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69640      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73178      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73178      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73178      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74222      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74222      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74222      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74222      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77691      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77691      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77691      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78773      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78773      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82246      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82246      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82246      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82246      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83332      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83332      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83332      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83332      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86788      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86788      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86788      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86788      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87831      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87831      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87831      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87831      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94698      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94698      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94698      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94698      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95765      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95765      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95765      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95765      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99257      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99257      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99257      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99257      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
100305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0