pass_clex::rm-toks-1 has encountered a bug: pass got stuck

[sendaoYan]

replay command:

time creduce --n 32 ./creduce.sh test2.c &> creduce.log

result:

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

pass_clex::rm-toks-1 has encountered a bug:
pass got stuck

Please consider tarring up /home/yansendao/tmp/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.

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

===< pass_clex :: rm-toks-2 >===
(Interestingness test reported a timeout.)
(50.0 %, 287272 bytes)
(50.0 %, 287266 bytes)

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

pass_clex::rm-toks-2 has encountered a bug:
pass got stuck

Please consider tarring up /home/yansendao/tmp/creduce_bug_001
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.

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

===< pass_clex :: rm-toks-3 >===

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

pass_clex::rm-toks-3 has encountered a bug:
pass got stuck

Please consider tarring up /home/yansendao/tmp/creduce_bug_002
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.

files:

creduce.zip

creduce_bug_004.zip
creduce_bug_003.zip
creduce_bug_002.zip
creduce_bug_001.zip
creduce_bug_000.zip

env info: