Hello, I am trying to get klee installed on debian 7.8 64-bit. I successfully installed llvm 3.4, stp, and have compiled kle-uClibc.
After checking klee out from the git repository, I try configuring it, nad get the following errors: sys/acl.h not found selinux/selinux.h not found malloc/malloc.h not found Any ideas why this would be happening? Thanks in advance, Donald _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
