TestClashFreeSubst

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

tests
0

failures
2

ignored
21.624s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.732s passed
testClashInSubstTerm() 1.684s passed
testMultiShareBound() 1.819s passed
testMultiSubst() 2.119s passed
testShare() 1.735s passed
testShareWary() 1.742s passed
testSubst() 1.735s passed
testSubstInSubstTerm() 2.002s passed
testSubstWary() 1.832s passed
testWary0() 1.731s passed
testWary1() 1.690s passed
testWary2() 1.803s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

69665      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
69681      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
69681      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
69681      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
71478      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
71478      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
71478      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
71478      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
77356      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
77356      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
77356      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
77371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79091      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79091      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79091      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79091      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
84767      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
84767      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
84767      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
84767      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
86488      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
86488      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
86488      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
86488      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92287      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92287      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92287      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92287      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94007      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94023      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94023      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
94023      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99931      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99931      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99931      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
99931      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
101652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
101652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
101652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
101652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
108921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
108921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
108921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
108937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
114489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
114489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
114489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
114489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
116286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
116286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
116286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
116286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
121915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
121915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
121915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
121915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
123589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
123589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
123589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
123589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
129278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
129278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
129294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
129294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
138102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
140207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
140207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
140207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
140207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
153193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
153193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
153193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
153193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
155183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
155183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
155183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
155183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
161767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
161767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
161767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
161767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
163597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
163597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
163597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
163597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0