[klee-dev] klee crash question

[John Regehr]

Hi,

I'm running Klee (checked out and compiled today) using LLVM 2.9 on 64-bit 
Linux.  I believe that I followed the build/install instructions exactly.

My job here is to call the zlib function inflate() on a small (6-byte) 
symbolic buffer.

Klee runs for a while and generates 81 test cases but then dies like this:

KLEE: WARNING ONCE: flushing 7152 bytes on read, may be slow and/or crash: 
MO641[7152] allocated at zcalloc():  %2 = tail call noalias i8* @malloc(i64 
%1) nounwind, !dbg !5048

Does this mean anything that I can or should want to know?  Can I do 
anything about it?

Thanks,

John Regehr