That seems to be an ideal solution. Do we have any rough idea of how much space a long reduction can take?
Are we talking of Mbs or Gbs? Thanks, Paulo Matos > -----Original Message----- > From: [email protected] [mailto:creduce-dev- > [email protected]] On Behalf Of John Regehr > Sent: 15 May 2013 19:21 > To: [email protected] > Subject: Re: [creduce-dev] two C-Reduce bugs > > Ok, I've stopped C-Reduce from explicitly deleting its temp dirs. > > This seems to fix all of the stupid races that I had put in. > > During a long reduction, a few thousand dirs will get created, but they > should all get cleaned up automatically when the main C-Reduce process > exits. If this bothers anyone, let me know and maybe we can do > something smarter, but I'm happy with this solution. Don't do testcase > reduction if you don't have some free space in /tmp :). > > John
