[klee-dev] segFault

[Bin Lin]

Hi  there,

Recently, I run a simple c++ program with KLEE. But there is weird error.
It seems that the main function of KLEE has returned  because the
statistics have been printed. The error message as follows.

KLEE: done: total instructions = 415
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1
0  klee            0x0000000000d66f4f
1  klee            0x0000000000d67459
2  libpthread.so.0 0x00002b641c735bb0
3  libpthread.so.0 0x0000000002d40ef0
Segmentation fault (core dumped)

Does anyone have any idea what is going on?  BTW, I didn't use any stuff
related to pthread. Thanks a lot.

Best,
Bin Lin
-------------- next part --------------
HTML attachment scrubbed and removed