[klee-dev] make check fails 10 tests

[Dan Liew]

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.