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

[Yang Chen]

On 7/11/12 1:32 PM, John Regehr wrote:

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

Should be fixed now.

- Yang