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

[creduce-bugs] Creduce 2.10.0 on FreeBSD head / powerpc64


I just encountered this bug:
Assertion failed: (RWBuf && "Empty RewriteBuffer!"), function
outputTransformedSource, file Transformation.cpp, line 101.


pass_clang::return-void has encountered a bug:
crashed: "/usr/local/libexec/clang_delta" --transformation=return-void
--counter=1 /tmp/creduce-DdK0KR/ym2612-5de3af.c

Please consider tarring up
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.

Repro files are attached.

Attachment: signature.asc
Description: PGP signature