TestClashFreeSubst

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

tests
0

failures
2

ignored
10.235s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.863s passed
testClashInSubstTerm() 0.844s passed
testMultiShareBound() 0.914s passed
testMultiSubst() 0.837s passed
testShare() 0.850s passed
testShareWary() 0.836s passed
testSubst() 0.836s passed
testSubstInSubstTerm() 0.860s passed
testSubstWary() 0.841s passed
testWary0() 0.837s passed
testWary1() 0.847s passed
testWary2() 0.870s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36693      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36693      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36693      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36693      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37586      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37586      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37586      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37601      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40464      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40464      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40464      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44106      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44106      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44106      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44106      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44951      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44951      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44951      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44951      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47734      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47734      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47734      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47734      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48562      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48562      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48562      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48562      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51360      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52188      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52188      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52188      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52188      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54894      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54894      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54894      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54894      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55739      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55739      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55739      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55739      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58444      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58444      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58444      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58444      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59304      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59304      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59304      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59304      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62040      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62040      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62040      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62040      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62868      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62868      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62868      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62868      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65558      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65558      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65558      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65558      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66386      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66386      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66386      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66386      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69092      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69092      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69092      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69092      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69921      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69921      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69921      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69921      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75314      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75314      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75314      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75314      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76143      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76143      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76143      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76143      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78832      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78832      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78832      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78832      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79660      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79660      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79660      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0