TestClashFreeSubst

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

tests
0

failures
2

ignored
9.830s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.825s passed
testClashInSubstTerm() 0.797s passed
testMultiShareBound() 0.893s passed
testMultiSubst() 0.804s passed
testShare() 0.852s passed
testShareWary() 0.792s passed
testSubst() 0.809s passed
testSubstInSubstTerm() 0.803s passed
testSubstWary() 0.794s passed
testWary0() 0.824s passed
testWary1() 0.832s passed
testWary2() 0.805s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

33540      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
33540      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
33540      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
33540      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
34422      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34422      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34438      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
34438      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37196      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37196      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37196      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37196      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38016      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38016      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38016      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38016      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41529      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41529      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41529      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41529      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44166      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44166      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44166      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44166      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44962      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44962      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44962      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44962      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47584      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47584      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48413      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48413      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48413      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48413      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51014      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51014      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51014      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51014      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51848      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51848      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51848      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51848      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54448      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54448      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54448      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54448      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55255      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55255      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55255      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55255      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57865      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57865      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57865      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57865      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58647      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58647      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58647      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58647      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61250      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62039      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62039      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62039      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62039      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64649      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64649      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64649      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64649      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70654      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70654      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70670      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
70670      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71459      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71459      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71459      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71459      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74073      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74073      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74073      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74089      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74870      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74870      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74870      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74870      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0