TestClashFreeSubst

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

tests
0

failures
2

ignored
23.499s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.659s passed
testClashInSubstTerm() 2.981s passed
testMultiShareBound() 1.791s passed
testMultiSubst() 2.209s passed
testShare() 1.786s passed
testShareWary() 2.774s passed
testSubst() 1.698s passed
testSubstInSubstTerm() 1.720s passed
testSubstWary() 1.661s passed
testWary0() 1.761s passed
testWary1() 1.731s passed
testWary2() 1.728s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

72864      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72864      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72864      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
72864      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74646      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74646      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74646      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
74646      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80368      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80368      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80368      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80368      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
82011      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
82011      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
82011      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
82011      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87733      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87733      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87733      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
87733      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
89515      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
89515      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
89515      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
89515      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
95035      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
95035      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
95035      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
95035      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
96724      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
96724      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
96724      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
96724      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
102368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
102368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
102368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
102368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
104119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
104119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
104119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
104119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
109708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
109708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
109708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
109708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
111433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
111433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
111433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
111433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
117031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
117031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
117031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
117031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
118752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
118752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
124365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
124365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
124365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
124365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
127339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
127339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
127339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
127339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
135841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
135841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
135841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
135841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
138608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
147539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
147539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
147570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
147570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
149727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
149727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
149727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
149727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
161204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
161204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
161204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
161204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
162924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
162924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
162924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
162924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
168553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
168553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
168553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
168553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
170210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
170210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
170210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
170210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0