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-b...@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 !