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

Re: [creduce-bugs] C-Reduce bug



Hi Alexey,

Thanks for the report! This issue has been fixed on top of the Git head.

- Yang

On 2018-03-02 06:34, Aleksejs Zajakins wrote:
Please see the attached archive for details generated by C-Reduce
while reducing a C++ source.

Best regards,
Alexey