EpureRares

I succeed in integrating the library fir libre project. However, the following question is whether there is a option for calls from libstdc++? It seams that KLEE receives SEGFAULT for...

I added `--libcxx` as part of KLEE's invocation and this is the detailed error: ` /usr/lib/llvm-10/lib/libLLVM-10.so.1(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamE+0x1f)[0x7f89d731b4ff] /usr/lib/llvm-10/lib/libLLVM-10.so.1(_ZN4llvm3sys17RunSignalHandlersEv+0x22)[0x7f89d7319782] /usr/lib/llvm-10/lib/libLLVM-10.so.1(+0x981ac5)[0x7f89d731bac5] /lib/x86_64-linux-gnu/libc.so.6(+0x46210)[0x7f89d64bc210] [0x55b4ddab51e8] Segmentation fault (core dumped) ` The project is from the...