TestClashFreeSubst

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

tests
0

failures
2

ignored
10.645s

duration
100%

successful

Tests

Test Duration Result
testClash() 0.877s passed
testClashInSubstTerm() 0.847s passed
testMultiShareBound() 0.978s passed
testMultiSubst() 0.858s passed
testShare() 0.872s passed
testShareWary() 0.859s passed
testSubst() 0.857s passed
testSubstInSubstTerm() 0.908s passed
testSubstWary() 0.873s passed
testWary0() 0.889s passed
testWary1() 0.925s passed
testWary2() 0.901s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

38771      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
38771      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
38771      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
38771      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
39700      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
39700      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
39700      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
39700      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
42712      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
42712      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
42712      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
42712      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
43576      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
43576      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
43576      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
43576      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
46441      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
46441      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
46441      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
46441      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
47322      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
47322      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
47322      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
47322      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
50157      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
50157      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
50157      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
50157      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
51019      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
51019      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
51019      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
51019      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
53991      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
53991      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
53991      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
53991      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
54869      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54869      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54869      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54869      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
57759      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57759      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57759      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57759      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58672      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58672      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58672      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58672      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61680      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61680      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61680      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61680      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
62587      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
62587      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
62587      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
62587      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65410      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65410      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65426      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
65426      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
66262      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
66262      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
66262      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
66262      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69095      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69095      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69095      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69095      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
69939      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69939      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69939      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69939      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72829      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72829      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72829      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72829      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73667      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73667      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73667      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73667      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79336      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79336      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79336      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80227      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80227      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80227      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80227      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83032      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83032      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83032      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83032      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
83903      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
83903      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
83903      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
83903      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0