John Regehr <reg...@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 <ee...@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