Re: [creduce-dev] two C-Reduce bugs

[John Regehr]

Also, see below.  I expect it's a different symptom of the first bug 
from my previous mail.

John


===< pass_lines :: 2 >===
(-4.0 %, 622 bytes)
cannot remove directory for /tmp/creduce-bT737k: Directory not empty at 
/home/regehr/z/creduce/creduce/creduce line 239
(-3.8 %, 621 bytes)