klee-install

klee-install copied to clipboard

Hi, I followed the guide and got the following error: ```` ^ /usr/include/stdlib.h:837:12: note: conflicting declaration extern int abs (int __x) __THROW __attribute__ ((__const__)) __wur; ^ 1 error generated. Makefile:267:...

zhangysh1995

Adapt the instructions to use Cmake instead of makefiles.

saahil