TestClashFreeSubst

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

tests
0

failures
2

ignored
16.470s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.351s passed
testClashInSubstTerm() 1.442s passed
testMultiShareBound() 1.540s passed
testMultiSubst() 1.333s passed
testShare() 1.315s passed
testShareWary() 1.447s passed
testSubst() 1.327s passed
testSubstInSubstTerm() 1.483s passed
testSubstWary() 1.262s passed
testWary0() 1.378s passed
testWary1() 1.258s passed
testWary2() 1.334s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

57329      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
57329      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
57329      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
57329      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
58852      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
58852      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
58852      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
58852      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
63187      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
63187      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
63187      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
63187      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
64531      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
64531      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
64531      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
64531      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
68736      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
68736      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
68736      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
68751      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
70027      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
70043      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
70043      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
70043      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74222      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74238      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74238      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74238      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
75543      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
75543      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
75543      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
75543      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79715      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79715      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79715      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79715      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
81075      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
81091      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
81091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
81091      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85328      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85328      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85328      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85328      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86573      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86573      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86573      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86573      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
90948      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
90948      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
90948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
90948      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92267      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92267      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92267      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92267      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96640      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96640      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96640      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96640      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
98081      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
98081      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
98081      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
98081      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
110039     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
110039     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
110039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
110039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
125460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
125460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
125460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
125460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0