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

[csmith-project/creduce] e6defc: let's try a new ordering for the line removal pass...



  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: e6defc384376dc76f19fe071778514b0fec63cd1
      https://github.com/csmith-project/creduce/commit/e6defc384376dc76f19fe071778514b0fec63cd1
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-06-27 (Mon, 27 Jun 2016)

  Changed paths:
    M creduce/creduce.in
    M creduce/pass_clang_binsrch.pm

  Log Message:
  -----------
  let's try a new ordering for the line removal passes, suggested by
Zhendong Su -- would appreciate feedback on how well it works