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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
