Nice! - 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.