Yang Chen <[email protected]> writes: > Thanks for the bug report! > > I couldn't reproduce the crash with the git head, both master and > llvm-svn-compatible branches. What version did you use? If it's an older > version, the crash might get fixed in the head. Thanks!
Yang: Jeff mentioned his C-Reduce version in his email: commit 172b007, which is circa June 2014. It is several commits back from the C-Reduce 2.2.0 release. Anyway, it sounds like the crash problem that Jeff is reporting has already been fixed. Good news! 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
