Branch: refs/heads/determinism-check Home: https://github.com/csmith-project/creduce Commit: 4655accc10b5861ee99e0e9ef8d02df0ebbf7add https://github.com/csmith-project/creduce/commit/4655accc10b5861ee99e0e9ef8d02df0ebbf7add Author: John Regehr <regehr@cs.utah.edu> Date: 2018-01-03 (Wed, 03 Jan 2018) Changed paths: M creduce/creduce.in Log Message: ----------- workin...