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

Re: [creduce-bugs] clang_delta segfault

Nick Rolfe <nick@semmle.com> writes:

> While I'm here, I'd just like to say creduce is a lifesaver. It's been
> so useful. Thanks!

You're very welcome!  It is always good to hear that C-Reduce is useful.

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