TestClashFreeSubst

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

tests
0

failures
2

ignored
12.483s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.001s passed
testClashInSubstTerm() 1.024s passed
testMultiShareBound() 1.036s passed
testMultiSubst() 1.040s passed
testShare() 1.040s passed
testShareWary() 1.038s passed
testSubst() 1.057s passed
testSubstInSubstTerm() 1.060s passed
testSubstWary() 1.034s passed
testWary0() 1.068s passed
testWary1() 1.044s passed
testWary2() 1.041s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

41427      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41427      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41427      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41427      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42451      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42451      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42451      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42451      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45828      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45830      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45830      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45831      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46813      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46813      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46813      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46813      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50178      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50178      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50178      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50178      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51201      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51201      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51201      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51201      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54731      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54731      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54731      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54731      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55782      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55782      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55782      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55782      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59223      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59223      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59223      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59223      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60286      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60286      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60286      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60286      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63742      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63742      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63742      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63742      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64783      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64783      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64783      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64783      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68187      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68187      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68187      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68187      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69231      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69231      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69231      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69231      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72594      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72594      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72594      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72594      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73613      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73613      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73613      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73613      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77045      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77045      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77045      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77045      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78069      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78069      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78069      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78069      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81498      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81498      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81498      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81498      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82530      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82530      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82530      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82530      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89280      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89280      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89296      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
89296      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90331      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90331      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90331      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90331      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
93866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
93866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
93866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
93866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94898      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94898      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94898      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94898      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0