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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
