John Regehr <[email protected]> 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 <[email protected]> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
