Branch: refs/heads/ncpus Home: https://github.com/csmith-project/creduce Commit: 9e237c89300fa853fc8c02e08c7ef1e43a49e177 https://github.com/csmith-project/creduce/commit/9e237c89300fa853fc8c02e08c7ef1e43a49e177 Author: John Regehr <regehr@cs.utah.edu> Date: 2015-11-17 (Tue, 17 Nov 2015) Changed paths: M creduce/creduce.in M creduce/creduce_utils.pm Log Message: ----------- work