Re: [creduce-bugs] can't build

[John Regehr]

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?

John