[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