[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] Several bug reports
On 01/28/2015 02:37 AM, David Abdurachmanov wrote:
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.