"Junwei Zeng" <[email protected]> writes: > In the process of using C-Reduce reduction program, 10 bugs were triggered in > succession. All bug reports are in the attachment creduce_bugs.tar.gz. I > hope this information will help solve bugs.
Thank you for your bug report! -- ------------------------------------------------------------------------------- Eric Eide <[email protected]> . University of Utah Kahlert School of Computing https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA
