On 10/20/2015 04:31 PM, John Regehr wrote:
Sorry, one more thing: Johan, could you check and see how your patch relates to this one? https://github.com/csmith-project/creduce/pull/65
It seems like that patch is doing the same thing I do in mine but that it is much more complete than mine.
/Johan
John On 10/20/15 2:58 PM, John Regehr wrote:Johan, thanks! Yang, if you get a minute can you look at the clang-delta parts of these patches? Johan-- regarding your changes to the include path, are these still necessary if all of the includes have been copied to the local directory using a program like my localize_headers script? John