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

[creduce-bugs] A bug in C-Reduce

Dear Sirs,

this happened with creduce as after

  commit bd8882ccaac82031622395d79afaf562925a6933


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
creduce-bugs@flux.utah.edu 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!
Kind regards,


     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
                              BUGSENG srl - http://bugseng.com

Attachment: creduce_bug_990670.bz2
Description: BZip2 compressed data