[klee-dev] why is klee so hard to get compiled
Riyad Parvez
riyad.parvez at gmail.com
Thu Apr 9 06:28:36 BST 2015
Hi,
I've succeeded into compiling KLEE using this script:
https://github.com/riyadparvez/klee-docker/blob/master/llvm-2.9/install.sh
Thanks
Riyad
On 04/09/2015 01:21 AM, Donald Raikes wrote:
> I don't know if it is just me and my setup, but it seems impossible to
> get klee to compile.
>
> I have been trying for a week now to get klee working, and it just
> isn't happening.
> I am following all the getting started steps, but no success.
>
> Is it just impossible to get klee to compile on debian?
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
More information about the klee-dev
mailing list