TestClashFreeSubst

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

tests
0

failures
2

ignored
11.854s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.102s passed
testClashInSubstTerm() 0.955s passed
testMultiShareBound() 1.037s passed
testMultiSubst() 0.976s passed
testShare() 0.954s passed
testShareWary() 0.960s passed
testSubst() 0.970s passed
testSubstInSubstTerm() 0.950s passed
testSubstWary() 0.979s passed
testWary0() 1.062s passed
testWary1() 0.943s passed
testWary2() 0.966s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41599      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41599      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41599      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41599      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42623      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42623      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42623      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42623      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45929      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45929      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45929      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45929      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47037      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47037      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47037      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47037      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50177      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50177      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50177      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50177      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51121      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51121      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51121      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51121      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54272      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54272      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54272      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54272      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58307      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58307      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58307      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58307      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59361      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59361      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59361      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59361      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62500      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62500      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62500      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62500      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63449      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63449      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63449      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63449      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66520      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66520      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66520      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66520      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67477      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67477      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67477      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67477      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70612      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70612      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70612      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70612      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71561      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71561      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
71576      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74645      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74645      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74645      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74645      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75600      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75600      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75600      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75600      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78680      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78680      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79646      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79646      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85808      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85808      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85808      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85808      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86745      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86745      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86745      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86745      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89874      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89874      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89874      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89874      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90838      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90838      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90838      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90853      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0