Branch: refs/heads/unifdef Home: https://github.com/csmith-project/creduce Commit: 279567dacad2ed33470229b19eee56a1c02f7a1a https://github.com/csmith-project/creduce/commit/279567dacad2ed33470229b19eee56a1c02f7a1a Author: John Regehr <regehr@cs.utah.edu> Date: 2015-10-31 (Sat, 31 Oct 2015) Changed paths: M creduce/pass_unifdef.pm Log Message: ----------- pass works now!