I need to use klee for some research for my thesis, but I have been
pounding my head against a wall for the last week trying to get klee
and all its dependencies to compile.
I have succeeded in getting cryptominisat 2.9.9, stp rev 1637, and
llvm 3.7.0.svn to compile finally. I can't get klee-uClibc nor klee to
compile at all.
I understand that klee is being used in the "real world" but I just
don't see how to get all the pieces to compile and play together.
Any help would be greatly appreciated.
Thanks in advance,