TestClashFreeSubst

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

tests
0

failures
2

ignored
16.487s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.330s passed
testClashInSubstTerm() 1.306s passed
testMultiShareBound() 1.334s passed
testMultiSubst() 1.282s passed
testShare() 1.505s passed
testShareWary() 1.295s passed
testSubst() 1.311s passed
testSubstInSubstTerm() 1.339s passed
testSubstWary() 1.315s passed
testWary0() 1.829s passed
testWary1() 1.304s passed
testWary2() 1.337s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

54336      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
54336      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
54336      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
54336      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
55652      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
55652      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
55652      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
55652      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
59975      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59975      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59975      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59975      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
61298      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
61298      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
61298      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
61298      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65725      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65725      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65725      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
65725      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67231      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
67231      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67231      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67231      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71704      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71704      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71704      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71704      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
73013      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
73013      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
73013      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
73013      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
78467      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
78467      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
78467      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
78467      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80283      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80283      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80283      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80283      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84846      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84846      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84846      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84846      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86151      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86151      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86151      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86151      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90384      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
90384      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90384      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90384      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
91710      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
91710      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
91710      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
91710      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95997      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95997      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95997      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95997      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
97290      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
97290      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
97290      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
97290      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
108550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
122473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
122488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
122488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
122488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0