TestClashFreeSubst

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

tests
0

failures
2

ignored
11.541s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.950s passed
testClashInSubstTerm() 0.971s passed
testMultiShareBound() 1.022s passed
testMultiSubst() 0.948s passed
testShare() 0.969s passed
testShareWary() 0.934s passed
testSubst() 0.962s passed
testSubstInSubstTerm() 0.938s passed
testSubstWary() 0.947s passed
testWary0() 0.965s passed
testWary1() 0.968s passed
testWary2() 0.967s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38643      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
38643      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38643      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38643      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39660      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39660      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39660      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42893      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
42893      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42893      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42893      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43839      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43839      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43839      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43840      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47035      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47036      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47036      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47036      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48001      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48002      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48002      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48003      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51265      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51266      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
51267      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52222      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52223      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52224      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
52224      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55357      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55358      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55358      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55359      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56319      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
56319      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56319      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56319      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59443      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59443      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59443      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59443      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60406      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60406      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60407      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60407      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63505      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63505      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63506      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64466      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64467      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64468      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67555      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67555      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67556      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
67556      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68522      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68522      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68523      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
71681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71682      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71682      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72610      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72611      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72611      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72612      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75720      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75721      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75721      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75722      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76665      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76665      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76665      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82888      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82888      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82888      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82888      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83824      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83824      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83824      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83824      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86995      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86995      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86995      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86995      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
87939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87939      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0