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

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

John Regehr <regehr@cs.utah.edu> writes:

> 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?

I'm not sure this change is needed, espcially given that more recent versions
of C-Reduce also emit a "don't worry about this" message.

Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX