Hello Sir,
My name is Wei-Fan, and I am currently a graduate student at University
of Utah.
I currently tried to build KLEE with some other external libraries.
I tried to configure KLEE by:
./configure .... --libs="-lgmp -lmpfr"
of
./configure .... --with-libs="-lgmp -lmpfr"
But they didn't apply.... I still got some error message for some
undefined functions...
Could you please give me some suggestions for solving this case?
Thanks.
- Wei-Fan
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
