TestClashFreeSubst

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

tests
0

failures
2

ignored
10.243s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.871s passed
testClashInSubstTerm() 0.841s passed
testMultiShareBound() 0.897s passed
testMultiSubst() 0.846s passed
testShare() 0.890s passed
testShareWary() 0.839s passed
testSubst() 0.862s passed
testSubstInSubstTerm() 0.846s passed
testSubstWary() 0.831s passed
testWary0() 0.850s passed
testWary1() 0.825s passed
testWary2() 0.845s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36110      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36110      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36110      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36110      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
36985      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36985      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36985      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36985      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39941      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39941      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39941      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39941      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40815      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40815      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40815      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40815      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43616      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43616      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43616      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43616      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44507      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44507      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44507      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47295      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47295      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47295      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47295      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48148      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48148      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48148      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48148      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50897      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50897      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50897      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50897      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51741      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51741      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51741      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51741      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54499      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54499      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54499      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54499      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55328      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55328      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55328      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55328      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58068      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58068      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58068      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58068      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58913      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58913      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58913      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58913      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61637      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61637      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61637      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61653      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62477      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62477      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62477      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62477      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65212      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65212      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65212      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65212      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66033      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66033      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66033      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66033      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68753      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68753      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68753      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68753      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69591      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69591      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69591      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69591      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75001      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75001      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75017      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
75017      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75847      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75847      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75847      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75847      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78535      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78535      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79363      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79363      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79363      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79363      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0