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.