TestClashFreeSubst

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

tests
0

failures
2

ignored
10.566s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.885s passed
testClashInSubstTerm() 0.854s passed
testMultiShareBound() 0.911s passed
testMultiSubst() 0.848s passed
testShare() 0.869s passed
testShareWary() 0.862s passed
testSubst() 0.880s passed
testSubstInSubstTerm() 0.881s passed
testSubstWary() 0.865s passed
testWary0() 0.986s passed
testWary1() 0.863s passed
testWary2() 0.861s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

36258      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
36258      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
36258      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
36258      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
37165      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
37165      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
37165      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
37165      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
40229      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
40229      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
40229      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
40229      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
41111      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
41111      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
41111      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
41111      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43961      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43961      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
43977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
44837      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
44837      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
44837      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
44837      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47659      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47659      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47659      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47659      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
48535      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
48535      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
48535      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
48535      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51332      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
51332      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51332      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51332      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
52303      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
52303      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
52303      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
52303      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55127      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55127      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55127      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55127      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55977      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55977      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55977      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55977      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58774      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58774      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58774      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58774      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59634      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59634      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59634      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59634      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62442      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62442      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62442      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62442      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63279      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63279      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63279      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63279      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66126      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66126      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66126      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66126      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66974      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66974      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66974      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66974      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69756      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69756      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
69771      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70599      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70599      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70599      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70599      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
76182      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
76182      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
76198      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
76198      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77067      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77067      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77067      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77067      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79884      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79885      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79885      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79885      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80723      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80723      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80723      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80723      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0