Re: [creduce-dev] multifile reduction

[Eric Eide <eeide@cs.utah.edu>]

John Regehr <regehr@cs.utah.edu> writes:

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

This is really cool.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX