TestClashFreeSubst

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

tests
0

failures
2

ignored
12.799s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.121s passed
testClashInSubstTerm() 1.067s passed
testMultiShareBound() 1.098s passed
testMultiSubst() 1.057s passed
testShare() 1.078s passed
testShareWary() 1.039s passed
testSubst() 1.088s passed
testSubstInSubstTerm() 1.027s passed
testSubstWary() 1.033s passed
testWary0() 1.061s passed
testWary1() 1.052s passed
testWary2() 1.078s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

44475      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44475      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44475      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44475      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45553      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45553      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45553      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45553      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49211      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49211      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49211      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49211      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50321      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50321      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50321      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50321      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53839      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53839      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53839      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53839      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54918      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54918      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54918      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54918      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58357      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58357      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58357      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58357      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64033      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67456      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67456      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67456      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67456      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68504      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68504      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68504      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68504      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71928      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71928      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71928      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72976      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72976      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72976      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76384      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76384      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76384      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77447      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77447      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77447      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77447      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80746      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80746      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80746      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80746      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81778      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81778      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81778      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81778      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86203      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86203      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86203      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86203      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92863      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92863      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92879      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
92879      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93895      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93895      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93895      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93895      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98288      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98288      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98288      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98288      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0