[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Close to New C-Reduce Release



On 2015-09-22 12:33, John Regehr wrote:
Weird-- I'm also using the pre-built LLVM 3.7.0.


I got the same unrecognized-command-line-option error with pre-built LLVM 3.7.0 on Ubuntu 14.04.

- Yang