On 18 September 2016 at 22:23, Awanish wrote:
> Hi,
> I configured klee with this command
> ../configure --with-llvmsrc=/home/awanish/llvm-2.9/llvm-2.9
> --with-llvmobj=/home/awanish/llvm-2.9/llvm-2.9/build --with-stp=/usr/local
> --with-uclibc=/home/awanish/klee-uclibc/ --enable-posix-runtime
>
>
Hi,
I configured klee with this command
../configure --with-llvmsrc=/home/awanish/llvm-2.9/llvm-2.9
--with-llvmobj=/home/awanish/llvm-2.9/llvm-2.9/build
--with-stp=/usr/local --with-uclibc=/home/awanish/klee-uclibc/
--enable-posix-runtime
then did
make DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=