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

[creduce-bugs] pass_lines::0 has encountered a bug: pass got stuck

Hi,

I was told to report this bug here ;)

andres@awork3:/tmp/t$ creduce --version
creduce 2.11.0 (unknown)

andres@awork3:/tmp/t$ apt policy creduce
creduce:
  Installed: 2.10.0+20201029-3
  Candidate: 2.10.0+20201029-3
  Version table:
 *** 2.10.0+20201029-3 500
        500 http://deb.debian.org/debian unstable/main amd64 Packages
        100 /var/lib/dpkg/status

creduce --n 32 ~/tmp/creduce_compile.sh /tmp/tsvector_op.i
===< 123924 >===
running 32 interestingness tests in parallel
===< pass_unifdef :: 0 >===
===< pass_comments :: 0 >===
(0.1 %, 1303019 bytes)
(0.1 %, 1302997 bytes)
===< pass_ifs :: 0 >===
===< pass_includes :: 0 >===
===< pass_line_markers :: 0 >===
(13.5 %, 1127220 bytes)
(16.8 %, 1084862 bytes)
(20.2 %, 1040094 bytes)
(22.9 %, 1005346 bytes)
===< pass_blank :: 0 >===
===< pass_clang_binsrch :: replace-function-def-with-decl >===
===< pass_clang_binsrch :: remove-unused-function >===
===< pass_lines :: 0 >===



***************************************************

pass_lines::0 has encountered a bug:
pass got stuck

Please consider tarring up /tmp/t/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_lines :: 1 >===


It's not super obvious where bugs should reported by the way - the error
message says this list, but there's also a github with bug reports...

Greetings,

Andres Freund

Attachment: creduce_bug_000.tar.gz
Description: application/tar-gz