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