Re: [creduce-bugs] Creduce bug

[Eric Eide <eeide@cs.utah.edu>]

Victor Campos <Victor.Campos@arm.com> writes:

> During one of my creduce runs, it found a bug. I am sending it attached.

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.

PS ---

> By the way, thanks for the brilliant tool that is creduce!

You are very welcome!  It is always good to hear from people who use and like
C-Reduce.

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