[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] Several bug reports

Hi David,

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.

- Yang