TestClashFreeSubst

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

tests
0

failures
2

ignored
9.302s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.799s passed
testClashInSubstTerm() 0.770s passed
testMultiShareBound() 0.801s passed
testMultiSubst() 0.770s passed
testShare() 0.788s passed
testShareWary() 0.764s passed
testSubst() 0.772s passed
testSubstInSubstTerm() 0.766s passed
testSubstWary() 0.765s passed
testWary0() 0.773s passed
testWary1() 0.769s passed
testWary2() 0.765s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

31359      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
31360      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
31360      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
31360      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
32156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
32156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
32156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
32156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
34765      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34766      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34768      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
34768      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35559      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35560      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35560      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35560      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38233      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38233      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38233      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38233      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39019      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39019      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39019      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41539      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41539      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41540      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
41540      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42308      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
42308      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42308      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42308      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44856      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44856      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44856      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44856      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45625      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45625      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45626      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
45626      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48125      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48125      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48125      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48125      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48891      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48891      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48891      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51446      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51447      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51447      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51447      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52207      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52207      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52207      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52207      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54717      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54717      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54718      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
54718      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55484      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
55484      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55484      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55484      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57976      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57977      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58738      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58738      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58738      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58738      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61993      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61994      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61995      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
61995      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66997      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66998      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66998      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66998      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67760      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67760      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67760      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67761      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
70251      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70251      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70252      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
70252      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71012      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71012      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71013      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
71013      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0