[klee-dev] klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer

Hi, After running KLEE on Stencil Benchmark( within Parboil benchmarks). I encountered this error: --- klee --libc=uclibc --posix-runtime all.bc 128 128 32 100

[klee-dev] failed external call: fgets

Hi, I try to run KLEE on cutcp benchmark from (Parboil Benchmarks ). The benchmark consists from the following program: main.c parboil.c readatom.c cutcpu.c excl.c output.c First I compile it with the following command: myclang -I