Branch: refs/heads/master Home: https://github.com/csmith-project/creduce Commit: 6518fdee8975f103b07e071a18a30a741d181cfb https://github.com/csmith-project/creduce/commit/6518fdee8975f103b07e071a18a30a741d181cfb Author: John Regehr <regehr@cs.utah.edu> Date: 2015-10-01 (Thu, 01 Oct 2015) Changed paths: M clex/driver.c Log Message: ----------- reformat