You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
creduce 2.11.0
unknown
Linux
folkertdev
6.8.0-40-generic
#40-Ubuntu SMP PREEMPT_DYNAMIC Fri Jul 5 10:34:03 UTC 2024
x86_64
***************************************************
pass_clang::remove-unused-function has encountered a bug:
crashed: "/usr/libexec/clang_delta" --transformation=remove-unused-function --counter=1 /tmp/creduce-vSosnk/input.c
Please consider tarring up /home/folkertdev/c/c-reduce-experiments/creduce_bug_000
and mailing it to [email protected] and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
***************************************************
ran into this
on this input file https://gist.github.com/folkertdev/2d0399e92c88340a30109e55b1430961
creduce_bug_000.tar.gz
The text was updated successfully, but these errors were encountered: