[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] a few more crashes



C-Reduce runs on multiple files by reducing them one after the other.

clang_delta only wants to transform the particular file that it has been asked to transform, not its includes.

John


On 2/3/16 4:30 PM, Eric Eide wrote:
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.