Branch: refs/heads/master Home: https://github.com/csmith-project/creduce Commit: f5eddb28da6ca35aa0c728fb902504c34abe7ab2 https://github.com/csmith-project/creduce/commit/f5eddb28da6ca35aa0c728fb902504c34abe7ab2 Author: Yang Chen <chenyang@cs.utah.edu> Date: 2014-06-30 (Mon, 30 Jun 2014) Changed paths: M TODO Log Message: ----------- update TODO