[klee-dev] Ask you about compile klee-uclibc

[Dinh Ngoc Thi]

Dear all,


When I compile *klee-uclibc *which is guided in this site
http://klee.github.io/klee/GetStarted.html

I always met this error:
--------------------------------------------------
INFO:Testing LLVM Bitcode
compiler.../cygdrive/e/SymbolicExecution/tool/llvm-gcc/bin/llvm-gcc
INFO:Compiler failed with output:
llvm-gcc.exe: /tmp/tmpmEA0eB.c: No such file or directory
llvm-gcc.exe: no input files
--------------------------------------------------

I am using Win7 32bits and Cygwin.

Anyone can help me?
Many thanks in advance.
-------------- next part --------------
HTML attachment scrubbed and removed