Thanks Markus.I also get these messages, but I have not spotted the flaw in C-Reduce's file/dir manipulation logic (which is quite simple already).
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?
Good idea, I'll make this change. John
