TestClashFreeSubst

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

tests
0

failures
2

ignored
16.441s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.386s passed
testClashInSubstTerm() 1.384s passed
testMultiShareBound() 1.463s passed
testMultiSubst() 1.373s passed
testShare() 1.368s passed
testShareWary() 1.372s passed
testSubst() 1.350s passed
testSubstInSubstTerm() 1.362s passed
testSubstWary() 1.340s passed
testWary0() 1.350s passed
testWary1() 1.365s passed
testWary2() 1.328s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

54243      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54243      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54243      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54243      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55701      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55701      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55701      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60277      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60278      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60278      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60278      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61659      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61659      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61660      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
61660      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66195      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66195      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66196      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
66196      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67559      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67559      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67559      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67559      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72028      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72028      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72029      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72029      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73376      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73376      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73376      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73376      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77823      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77823      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77823      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77823      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79169      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79170      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79170      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79170      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83651      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
83651      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
83652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85010      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85010      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
85012      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
89484      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89485      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89485      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89485      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90808      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90808      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90809      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
90809      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95231      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95232      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
95233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96610      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96611      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96611      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96612      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
101060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
102429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
106860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
106860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
106860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
106860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
117102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
118461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
122870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
124208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0