[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/clang_delta" --transformation=rename-fun --counter=1
"Even Mendoza, Karine" <k.even-mendoza@imperial.ac.uk> writes:
> Thanks! By the way, I have found another instance of this bug:
Thank you for this follow up!
--
-------------------------------------------------------------------------------
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