[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] bugs in clang_delta
Thanks for the bug report!
On 2016-04-15 02:08, Fabio Pagani wrote:
I found some bugs in clang_delta. All the crashes are from the same
file, the two different directory inside the tar.gz are related to two
different runs of creduce (a/ folder w/o parameters and b/ folder with
'--sllooww') so probably they will collide in one unique bug.
Yes, all of these stem from the same root. The crash is now fixed in the
The original file was created from csmith.. it might be a good idea to
massively run creduce against it, no?
Yes, we did. I believe we've run C-Reduce against Csmith-generated
programs a lot since C-Reduce was developed :) Also, in clang_delta dir,
you will find a script, test_transformation, which is able to exercise
clang_delta with Csmith in particular.