[LLVMbugs] [Bug 5416] Running klee on Tutorial 1, demo.o

[bugzilla-daemon at llvm.org]

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

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

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

--- Comment #3 from Cristian Cadar <cristic at cs.stanford.edu> 2012-06-20 13:38:32 CDT ---
Closing old bug reports.  This should be fixed in the latest version of KLEE,
but please reopen if it's still an issue.

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