TestClashFreeSubst

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

tests
0

failures
2

ignored
10.261s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.866s passed
testClashInSubstTerm() 0.836s passed
testMultiShareBound() 0.939s passed
testMultiSubst() 0.831s passed
testShare() 0.865s passed
testShareWary() 0.839s passed
testSubst() 0.839s passed
testSubstInSubstTerm() 0.852s passed
testSubstWary() 0.835s passed
testWary0() 0.845s passed
testWary1() 0.843s passed
testWary2() 0.871s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

35046      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35046      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35046      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35046      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35980      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35980      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35980      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35980      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38857      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38857      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38857      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38857      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39713      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39713      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39713      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39713      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42507      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42522      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42522      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42522      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43368      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43368      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46149      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46149      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46149      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46149      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46975      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
49690      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49690      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49690      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49690      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50523      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50523      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50523      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50523      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53253      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54085      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54085      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54085      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54085      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56813      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56813      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56860      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 47 ms 
56860      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57681      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60375      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60375      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60375      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60375      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61204      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61204      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61204      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61204      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63925      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63925      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63925      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63925      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64755      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64755      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64755      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64755      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67473      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67473      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67473      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67473      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73695      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73695      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73695      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73695      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74528      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74528      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74539      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 11 ms 
74539      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77339      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77339      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77339      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77339      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78173      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78173      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78173      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78173      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0