[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] A bug in C-Reduce
Fixed. Thanks for the bug report!
On 02/05/2015 09:51 PM, Roberto Bagnara wrote:
this happened with creduce as after
OOPS: clang_delta::template-non-type-arg-to-int has crashed, which means
you have encountered a bug in C-Reduce. Please
consider mailing /tmp/creduce/creduce_bug_990670 to
firstname.lastname@example.org and we will try to fix
the bug. Please also let us know what version of
C-Reduce you are using and include any other
details that may help us reproduce the problem.
Thanks for creduce!