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

[creduce-bugs] C-Reduce fails to reduce C++ code properly

This is a great example, thanks!  Lots of C++ work still to do.  I think 
that Yang is having fun learning how complicated this language is.


On 07/01/2012 12:25 PM, Konstantin Tokarev wrote:
> Here are 2 versions of the same test case:
> cregex_2.cpp.big - output of creduce (aeb8b294)
> cregex_2.cpp - manually reduced
> Unfortuantely its reproduction will require special build of compiler; however I assume it could be useful on its own.
> When doing manual reduction, I've removed all members of a[] except of first, removed classes, A, B, and C, removed unused template parameters of other classes including H, and then re-run creduce again.