Yang Chen <[email protected]> writes:

> Fixed. Thanks, John!

I noticed that the commit message for this fix said "skip functions included
from header files."

How does that work with mutli-file reductions?

(I didn't look at the crash, and I didn't look at the fix.  I'm only asking
because the commit message seemed at odds with a C-Reduce feature.)

Thanks ---

Eric.

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

Reply via email to