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