Re: [creduce-dev] trouble building c-reduce

[John Regehr]

Makes sense. I was going to attempt to make a FreeBSD port for
c-reduce

Well, once it does make sense, this will not be a very difficult port 
since we test C-Reduce on FreeBSD already :)

John