Bug#1050849: creduce upstream homepage
Source: creduce
Version: 2.11.0~20230819-1
Could someone please document where creduce homepage is located nowadays.
http://embed.cs.utah.edu/creduce/ seems to be gone.
I am not clear what to do with reports such as:
===< pass_clang_binsrch :: replace-function-def-with-decl >===
Segmentation fault
***************************************************
pass_clang_binsrch::replace-function-def-with-decl has encountered a bug:
crashed: "/usr/libexec/clang_delta"
--transformation=replace-function-def-with-decl --counter=1
--to-counter=25 /tmp/creduce-2sfsbN/mul_test.cc
Please consider tarring up /home/malat/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
***************************************************
===< pass_clang_binsrch :: remove-unused-function >===
Thank you !
Reply to: