Hi,
> Command 0 Stderr: > /home/ahmadi/klee/test/Feature/LongDouble.cpp:11:10: fatal error: 'cstdio' > file not found > #include <cstdio> > ^ > 1 error generated. Looks like llvm-gcc couldn't find the header file. You might be able to fix that my telling llvm-gcc where the tests are by doing the following. ``` export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu ``` I would advise staying away from llvm-gcc though. That compiler has been dead for years. Just build KLEE with LLVM 3.4 with Clang 3.4 HTH, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
