On 2012.08.14 at 09:00 -0600, John Regehr wrote: > Is the current C-Reduce working well for people?
Sorry for the late reply. C-Reduce is mostly working fine now. There are two issues that are still left: I often see messages as the following: ... (96.0 %, 14450 bytes) shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory (96.0 %, 14416 bytes) shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory (96.0 %, 14347 bytes) shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory (96.0 %, 14338 bytes) (96.1 %, 14200 bytes) (96.1 %, 14021 bytes) ... They seem to be harmless, because C-Reduce will still produce good testcases after all. The second issue might be related to the one above: After each run there hundreds of file*FOO* files left in /tmp. Would it be possible to run C-Reduce in a subdirectory of /tmp and rm -fr it after each run? Thanks. -- Markus
