Hi all,
I'm trying to use klee and gmock together. Therefore, I have a sample project which uses gmock and I compiled it with clang, linked it with gmock and gtest and ran it with klee. But I always get the following error (even with different sample projects): KLEE: ERROR: /home/niklas/gmock-1.7.0/build/../gtest/src/gtest.cc<http://gtest.cc/>:1667: memory error: out of bound pointer KLEE: NOTE: now ignoring this error at this location KLEE: done: total instructions = 815 KLEE: done: completed paths = 1 KLEE: done: generated tests = 1 0 libLLVM-3.4.so.1 0x00007f560a25c042 llvm::sys::PrintStackTrace(_IO_FILE*) + 34 1 libLLVM-3.4.so.1 0x00007f560a25be34 2 libpthread.so.0 0x00007f560915f340 3 libpthread.so.0 0x0000000000e3f940 Segmentation fault (core dumped) Is there a way to use gmock and klee together? Thanks in advance. Regards, Niklas
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
