TestClashFreeSubst

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

tests
0

failures
2

ignored
10.100s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.855s passed
testClashInSubstTerm() 0.829s passed
testMultiShareBound() 0.901s passed
testMultiSubst() 0.855s passed
testShare() 0.837s passed
testShareWary() 0.828s passed
testSubst() 0.826s passed
testSubstInSubstTerm() 0.843s passed
testSubstWary() 0.834s passed
testWary0() 0.838s passed
testWary1() 0.830s passed
testWary2() 0.824s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35958      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35958      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35958      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35958      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
36846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36846      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36861      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39819      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39819      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39819      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39819      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40668      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40668      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40668      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43430      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43430      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43430      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44262      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44262      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47020      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47020      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47020      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47020      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47838      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47838      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47838      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50543      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50543      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50543      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50543      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51386      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54122      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54122      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54122      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54122      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54945      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54945      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54945      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54945      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57624      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
57640      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58452      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58452      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58452      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58452      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64694      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64694      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64694      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65517      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65517      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65517      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65517      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68212      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68227      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
68227      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69062      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69062      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69062      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69062      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74446      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74462      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
74462      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75284      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75284      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75284      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75284      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77980      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77980      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77980      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77980      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78821      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78821      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78821      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78821      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0