TestClashFreeSubst

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

tests
0

failures
2

ignored
10.003s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.824s passed
testClashInSubstTerm() 0.814s passed
testMultiShareBound() 0.871s passed
testMultiSubst() 0.814s passed
testShare() 0.877s passed
testShareWary() 0.800s passed
testSubst() 0.830s passed
testSubstInSubstTerm() 0.816s passed
testSubstWary() 0.814s passed
testWary0() 0.878s passed
testWary1() 0.832s passed
testWary2() 0.832s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

34551      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
34551      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
34551      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
34551      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
35427      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
35427      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
35427      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
35427      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38180      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38180      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38180      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38180      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
38977      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38977      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41682      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41682      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41682      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41682      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42557      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42557      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42557      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42557      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
45215      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
45215      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
45215      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
45215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46044      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46044      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46044      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46044      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48749      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48749      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48749      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48749      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
49624      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
49624      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
49624      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
49624      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52250      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52250      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52250      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52250      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53063      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53063      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53063      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53063      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55706      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55706      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55706      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55706      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
56535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
56535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
56535      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
56535      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59177      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59177      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59177      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59177      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59990      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59990      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59990      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59990      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62633      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62633      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62633      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62633      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63430      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63430      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63430      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63430      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66088      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66088      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66088      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66088      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66886      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66886      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66886      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66886      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72217      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72217      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72217      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72217      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73030      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73030      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73030      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73030      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75656      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75656      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75656      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75656      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76469      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76469      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76469      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
76469      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0