TestClashFreeSubst

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

tests
0

failures
2

ignored
10.225s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.891s passed
testClashInSubstTerm() 0.832s passed
testMultiShareBound() 0.882s passed
testMultiSubst() 0.836s passed
testShare() 0.861s passed
testShareWary() 0.841s passed
testSubst() 0.858s passed
testSubstInSubstTerm() 0.830s passed
testSubstWary() 0.827s passed
testWary0() 0.844s passed
testWary1() 0.857s passed
testWary2() 0.866s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36291      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36291      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36291      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36291      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37167      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37167      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37167      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37167      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40027      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40027      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40027      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40027      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40919      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40919      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40919      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40919      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43717      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43717      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44577      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44577      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44577      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44577      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47361      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48220      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48220      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48220      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48220      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50973      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50973      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50973      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50973      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51801      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51801      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51801      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51801      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54584      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54584      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54584      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54584      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55429      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58181      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58181      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58181      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59025      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59025      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59025      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59025      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61777      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61777      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61777      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61777      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62606      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
62606      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62606      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62606      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65310      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65310      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65310      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65310      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66154      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66154      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66154      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68859      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68859      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68859      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68859      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69687      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69687      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69687      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69687      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75144      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75144      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75144      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75144      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75972      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75972      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75972      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75972      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78708      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78708      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78708      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78708      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79521      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79521      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79521      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79521      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0