Branch: refs/heads/master Home: https://github.com/csmith-project/csmith Commit: 6c02dd39f2501e5f1f2b4de6ab19d8db2a79c5d8 https://github.com/csmith-project/csmith/commit/6c02dd39f2501e5f1f2b4de6ab19d8db2a79c5d8 Author: John Regehr <regehr@cs.utah.edu> Date: 2011-11-11 (Fri, 11 Nov 2011) Changed paths: M TODO Log Message: ----------- Cleanup a bit.