[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clex" rename-toks 194
"曾俊伟" <jwzeng@nuaa.edu.cn> writes:
> I got the following crash while reducing the program.
Thank you for your bug report!
This is just a quick reply to say that we received your report, and to tell you
that I've whitelisted your email address for the creduce-bugs mailing list.
This means that any future bug reports from you will not need to be moderated.
Thanks again ---
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu> . University of Utah Kahlert School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA