[LLVMbugs] [Bug 4265] klee: Global.h:77: T* MINISAT::xrealloc(T*, size_t) [with T = MINISAT::Clause*]: Assertion `size == 0 || tmp != __null' failed.

[bugzilla-daemon at llvm.org]

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

LLVM Bugs List <llvmbugs at cs.uiuc.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |llvmbugs at cs.uiuc.edu

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.