TestClashFreeSubst

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

tests
0

failures
2

ignored
18.563s

duration
100%

successful

Tests

Test Duration Result
testClash() 1.592s passed
testClashInSubstTerm() 1.517s passed
testMultiShareBound() 1.616s passed
testMultiSubst() 1.482s passed
testShare() 1.571s passed
testShareWary() 1.545s passed
testSubst() 1.609s passed
testSubstInSubstTerm() 1.506s passed
testSubstWary() 1.491s passed
testWary0() 1.532s passed
testWary1() 1.575s passed
testWary2() 1.527s passed
xtestMultiClash() - ignored
xtestMultiClash1() - ignored

Standard output

59031      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
59031      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
59031      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
59031      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
60641      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
60641      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
60642      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
60642      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
65784      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
65784      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
65786      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
65786      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
67369      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
67370      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
67370      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
67371      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
72505      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
72506      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
72507      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
72507      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
74070      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
74071      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
74072      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
74072      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
79241      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
79242      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
79242      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
79243      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
80835      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
80836      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
80836      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
80845      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
85947      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
85948      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
85948      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
85949      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
87464      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
87465      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
87466      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
87473      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
92571      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
92572      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
92572      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
92573      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
94139      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
94139      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
94140      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
94140      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
99154      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
99155      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
99156      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
99156      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
100675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
100676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
100676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
100677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
105827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
105827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
105827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
105828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
107334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
107334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
107334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
107334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
112215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
112215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
112216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
112216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
113756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
113757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
113757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
113758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
118774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
118774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
118775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
118775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
120250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
120251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
120251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
120251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
130281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
130281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
130282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
130282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
131784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
131785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
131785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
131785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
136714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
136714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
136715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
136715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
138203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
138203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
138203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
138203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0