[LLVMbugs] [Bug 6171] KLEE 64-bit Crashes on Some Coreutils

Fri Sep 14 10:00:10 PDT 2012

http://llvm.org/bugs/show_bug.cgi?id=6171

Cristian Cadar <cristic at cs.stanford.edu> changed:

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

--- Comment #6 from Cristian Cadar <cristic at cs.stanford.edu> 2012-09-14 12:00:10 CDT ---
[Closing some old bug reports]
This bug was eventually fixed in
http://llvm.org/viewvc/llvm-project?view=rev&revision=106800

-- 
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.