TestClashFreeSubst

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

tests
0

failures
2

ignored
13.235s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.151s passed
testClashInSubstTerm() 1.065s passed
testMultiShareBound() 1.206s passed
testMultiSubst() 1.090s passed
testShare() 1.128s passed
testShareWary() 1.060s passed
testSubst() 1.075s passed
testSubstInSubstTerm() 1.103s passed
testSubstWary() 1.089s passed
testWary0() 1.091s passed
testWary1() 1.098s passed
testWary2() 1.079s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

46913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46913      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46913      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48108      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48108      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48108      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48108      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51899      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51899      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51899      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51899      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53046      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56710      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56710      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56710      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57820      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57820      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57820      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57820      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61419      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61419      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61419      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61419      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62491      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62491      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62491      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62491      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66078      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66078      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67166      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67166      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70686      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70686      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70686      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70686      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71773      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71773      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71773      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71773      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75242      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75242      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75242      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75242      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76320      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76320      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76320      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76320      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79829      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79829      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79829      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79829      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80888      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80888      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80888      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80888      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84436      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84436      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84436      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84436      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85485      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89039      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89039      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90106      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90106      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90106      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97175      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97175      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97190      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
97190      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98275      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98275      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98275      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98275      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0