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