guaguagou

klee-float hangs when calling external function.

4

Hello, I am trying to use klee-float to generate test cases for bessel_J0.c in gsl. But when calling the external function cos (), klee hangs. Compiled as follows: `clang -I...