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

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

On 2016-05-26 23:16, John Regehr wrote:
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?

Yes, this approach sounds good to me.

- Yang