Branch: refs/heads/line-pass-rewrite
Home: https://github.com/csmith-project/creduce
Commit: 871e26b9d0a97e97bbb70cfd2a3cb4bb5e290dce
https://github.com/csmith-project/creduce/commit/871e26b9d0a97e97bbb70cfd2a3cb4bb5e290dce
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-26 (Mon, 26 Oct 2015)
Changed paths:
M scripts/localize_headers
Log Message:
-----------
flags