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

Re: [creduce-dev] multifile reduction


- Yang

On 10/31/2015 05:00 AM, John Regehr wrote:
If anyone is interested, here's what the current C-Reduce produces for the transitive includes for C++ hello world on OS X, under the criterion that the files compile and the resulting executable prints hello and exits successfully.