Thanks John, You're right. I tested the script and it was returning exit status 0. Then I moved it to another place and forgot that the relative paths in the script would break it. I still get errors like this while running: cannot remove directory for /tmp/coG3sm8G90: Directory not empty at ./creduce line 232
but at least it successfully returns a reduced program. I am happy. Thanks, Paulo Matos > -----Original Message----- > From: [email protected] [mailto:creduce-dev- > [email protected]] On Behalf Of John Regehr > Sent: 11 October 2012 11:16 > To: [email protected] > Subject: Re: [creduce-dev] creduce failure to run tests due to Temp.pm > > 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 > >
