On 2014-07-18 11:33, John Regehr wrote:
A minor issue in the INSTALL file: I think only 3.4.2 failed (I successfully built creduce with llvm 3.4.1 and 3.4.0 binary. )Interesting-- can you edit it a bit to say this?
Yes. I will double-check when I get home and then update the file. - Yang