[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] a bug - in v2.3.0
I recall that John fixed a similar issue a while ago.
Yes, this has been fixed.
Usually this kind of "OOPS" has little impact to the final output.
Right-- don't worry about it. We could simply suppress these messages
but then we'd never learn about the underlying bugs.
Actually it might be useful for us to teach C-Reduce not to emit these
messages if the C-Reduce release is more than 6 months old (and
therefore not the latest release). What do you think Yang and Eric?