TestClashFreeSubst

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

tests
0

failures
2

ignored
10.256s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.875s passed
testClashInSubstTerm() 0.831s passed
testMultiShareBound() 0.886s passed
testMultiSubst() 0.937s passed
testShare() 0.848s passed
testShareWary() 0.851s passed
testSubst() 0.840s passed
testSubstInSubstTerm() 0.834s passed
testSubstWary() 0.839s passed
testWary0() 0.831s passed
testWary1() 0.835s passed
testWary2() 0.849s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38017      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38017      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38017      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38017      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38891      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38891      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38891      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38891      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41782      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41782      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41782      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41782      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42646      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42646      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45424      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45424      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45424      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45424      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46256      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46256      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46256      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46256      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49086      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49086      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49086      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49086      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49920      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49920      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49920      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49920      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52614      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52614      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52614      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52614      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53442      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53442      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56156      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56156      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56981      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56981      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56981      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56981      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59676      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59676      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59676      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59676      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60515      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
60515      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63184      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63184      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63184      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63184      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64022      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64022      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64022      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64022      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66730      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66730      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66730      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66730      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67576      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67576      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67576      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70266      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70266      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70266      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70266      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71194      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71194      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71194      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71194      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76601      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76601      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76617      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
76617      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77433      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77433      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77433      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77433      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80140      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80140      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80140      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80975      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80975      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0