Re: [creduce-bugs] clang pass bug

[Eric Eide <eeide@cs.utah.edu>]

John Regehr <regehr@cs.utah.edu> writes:

> How hard is it to turn the bug into a regression test?  Do we have any
> infrastructure for clang-pass regression tests?  Shouldn't be too hard.

We have no automated tests for C-Reduce at all.

Well, that's not quite true.  We have the handful of things in "tests," but
they are not automated in a "make test" sense, and I would not consider them to
be regression tests.

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX