This sanity check failure shouldn't be caused by failure to remove a
directory, but rather by the fact that you ran C-Reduce with an
interestingness test that doesn't initially succeed.
I have also seen the failure to remove directories, and have not yet
found a bug in C-Reduce's directory logic. There may be bugs or it may
be that Perl has bugs.
John
On 10/11/12 1:08 PM, Paulo Matos wrote:
Hello,
After a comment some time ago that CReduce will work with llvm/clang r160132
(as a comment to a pull req in github) I managed to compile llvm/clang/creduce
in rhel5 - 64 bits.
However it doesn't run:
./creduce ./min.sh pr33133.c
running 12 interestingness tests in parallel
test (and sanity check) fails at ./creduce line 133.
cannot remove path when cwd is /tmp/6j4QbVGPVn for /tmp/6j4QbVGPVn: at
/tools/oss/packages/x86_64-rhel5/perl/5.14.1-64/lib/5.14.1/File/Temp.pm line 902
I tried making NPROCS = 1 in creduce but the same thing occurs.
Any ideas on what the problem might be?
Cheers,
Paulo Matos
