Thanks Eric.
Let's call this problem solved for purposes of the 2.1 release.
Subsequently, it might be nice to do a bit of performance analysis to at
least confirm Eric's guess.
Tuyen, you might try out the Berkeley Delta tool, it is less forky than
C-Reduce.
John
On 7/9/13 9:49 PM, Eric Eide wrote:
For what it's worth: Today I built and ran C-Reduce atop Windows 7 and Cygwin.
It works (yay!), but it is *VERY VERY SLOW* (boo!).
On a fairly beefy machine, it took a little more that 12 hours to run the first
test of the C-Reduce smoke tests ("test0" in the `tests' directory).
I was reminded today that the `fork' syscall is very inefficient under Cygwin.
C-Reduce creates a lot of processes as part of generating and testing program
variants, and I would speculate that slow `fork' is a big reason why C-Reduce
ran poorly under Cygwin for me. (I did not make a serious effort to diagnose
the performance problem I was seeing.)
The bottom line: C-Reduce can be made to work under Cygwin, but I do not
recommend it! It is much too slow for real work.
Eric.
