Hello, The officially supported operating system for KLEE is Linux, I’m afraid you will not be able to run it on Windows. Best regards,
Tomek From: Dinh Ngoc Thi <[email protected]<mailto:[email protected]>> Date: Wednesday, 1 October 2014 15:14 To: klee-dev <[email protected]<mailto:[email protected]>> Subject: [klee-dev] Ask you about compile klee-uclibc 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.
<<attachment: winmail.dat>>
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
