While trying to build pspp-0.4.0 and run it with klee, we got following error info:
KLEE: ERROR: unable to load symbol(gsl_rng_mt19937) while initializing globals.
I am not sure whether this is a bug of klee but it really looks like one.
We use the command klee --libc=uclibc --posix-runtime ./pspp.bc --sym-arg 3 to start running.
Could anyone help us?
------------------
Yongchao Li
Department of Computer Science and Technology
Nanjing University
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
