Branch: refs/heads/core-fixes
Home: https://github.com/csmith-project/creduce
Commit: ff845ee1e1cca27069111e01506a61d034f9d313
https://github.com/csmith-project/creduce/commit/ff845ee1e1cca27069111e01506a61d034f9d313
Author: John Regehr <regehr@cs.utah.edu>
Date: 2015-10-30 (Fri, 30 Oct 2015)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
percent fix