[LLVMbugs] [Bug 6172] can't build klee on Ubuntu 9.10 on x86

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Thu Jun 24 19:03:38 PDT 2010


Daniel Dunbar <daniel at zuster.org> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #8 from Daniel Dunbar <daniel at zuster.org> 2010-06-24 21:03:37 CDT ---
The original problem has been fixed, the remaining issue is PR7128.

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list