Re: [creduce-bugs] a few more crashes

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

Yang Chen <chenyang@cs.utah.edu> 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 <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