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