TestClashFreeSubst

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

tests
0

failures
2

ignored
12.789s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.094s passed
testClashInSubstTerm() 1.052s passed
testMultiShareBound() 1.100s passed
testMultiSubst() 1.023s passed
testShare() 1.073s passed
testShareWary() 1.057s passed
testSubst() 1.077s passed
testSubstInSubstTerm() 1.049s passed
testSubstWary() 1.045s passed
testWary0() 1.085s passed
testWary1() 1.043s passed
testWary2() 1.091s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

42984      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
42985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42986      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44076      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44077      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44078      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
44078      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47676      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47677      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48754      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48754      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48761      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 7 ms 
48762      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52371      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52371      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52371      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53437      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53438      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53439      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
53441      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56896      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56896      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
56897      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57970      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57970      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57971      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
57971      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61509      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61509      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61510      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
61510      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62587      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62588      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62589      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
62589      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66115      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66116      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66116      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66117      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67153      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67153      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67154      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70589      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70590      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70590      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70590      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71675      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71676      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71676      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75185      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75185      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75186      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
75186      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76235      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76235      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76236      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
76236      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79615      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
79615      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80668      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
80668      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84152      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84152      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84152      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84152      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85170      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85171      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85172      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
92090      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92090      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
92091      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93135      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93135      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93136      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93136      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96694      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96695      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96695      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96695      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
97736      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97737      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
97737      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0