[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/creduce] 4527ef: turn off these passes-- this sacrifies a tiny bit ...



  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 4527ef98ea291670639d9d70ad86001d1dc06d25
      https://github.com/csmith-project/creduce/commit/4527ef98ea291670639d9d70ad86001d1dc06d25
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-05 (Fri, 05 Aug 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  turn off these passes-- this sacrifies a tiny bit of reduction power but
also avoids messing up printfs