[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] dbd09c: detect the classic C-Reduce bug where a pass repor...
Branch: refs/heads/master
Home: https://github.com/csmith-project/creduce
Commit: dbd09c6e868c3639c63504a61ed948004224429b
https://github.com/csmith-project/creduce/commit/dbd09c6e868c3639c63504a61ed948004224429b
Author: John Regehr <regehr@cs.utah.edu>
Date: 2014-09-22 (Mon, 22 Sep 2014)
Changed paths:
M creduce/creduce.in
M creduce/pass_clang.pm
Log Message:
-----------
detect the classic C-Reduce bug where a pass reports success but doesn't
actually change the file, which previously lead to an infinite loop. this is
tested.
also, slightly revamp the crash reporting for clang_delta. this is not tested
since I don't have a crasher for it right now.
Commit: 8b2823da3b3a12dfb2f8d9383f8915c7ba57d3e5
https://github.com/csmith-project/creduce/commit/8b2823da3b3a12dfb2f8d9383f8915c7ba57d3e5
Author: John Regehr <regehr@cs.utah.edu>
Date: 2014-09-22 (Mon, 22 Sep 2014)
Changed paths:
M COPYING
M clang_delta/EmptyStructToInt.cpp
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M configure
M configure.ac
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Compare: https://github.com/csmith-project/creduce/compare/24ca31e7cc5b...8b2823da3b3a