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

Re: [creduce-bugs] a bug - in v2.3.0

Hi Horacio,

Thanks for the report!

On 05/26/2016 02:17 AM, H. Mijail wrote:
While running the reduction, I got a message:
OOPS: pass_indent::regular failed to
modify the test case, which means you have
encountered a bug in C-Reduce.

I recall that John fixed a similar issue a while ago.

(Speaking of which: once the OOPS appeared, does that mean that the rest of the process will be useless? The creduce_bug file and the final output of creduce only differ on a couple of line returns, so I wonder. I would recommend documenting this in the OOPS message.)

Yes, this is why we have the following message issued in C-Reduce 2.5:

"This bug is not fatal, C-Reduce will continue to execute. "

Usually this kind of "OOPS" has little impact to the final output.

- Yang