Hi David, On 01/28/2015 02:37 AM, David Abdurachmanov wrote:
Hi, I am attaching a tarball with all generated bug reports.
Fixed those crashes. Thanks for reporting the bugs!
Two things which are interesting: - Why C-Reduce did not attempt to remove arguments? - Why it did not remove one of the classes?
C-Reduce has passes to remove arguments and classes. However, there are some limitations (and/or bugs) in dealing with class hierarchies in C-Reduce. I will look into those.
- Yang