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 [email protected] 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, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:[email protected] BUGSENG srl - http://bugseng.com mailto:[email protected]
creduce_bug_990670.bz2
Description: BZip2 compressed data
