[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 23:45, John Regehr wrote:
Here is valgrind's opinion.

John


Thanks for the additional input, John.

I can't reproduce the failure on OS X Yosemite v10.10.4. I tried the pre-built version from llvm.org and a debug version built locally on my machine. They worked fine.

BTW, I looked through the valgrind output that you posted, but couldn't find any clue.

It's quite strange. Eric, when you get a chance, can you try it out on your Mac? Thanks.

- Yang