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

[John Regehr]

Can you try again using the latest development version of LLVM/Clang?

Whoops, this does not work for me-- please wait a bit Eitan.

Yang, can you take a look?

John