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

Re: [creduce-bugs] bugs in clang_delta



Hi Fabio,

Thanks for the bug report!

On 2016-04-15 02:08, Fabio Pagani wrote:
Hello list,

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 Git head.

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.

- Yang