https://github.com/csmith-project/creduce/pull/65 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