[klee-dev] How can I running .cpp from KLEE?

[Oscar Dustmann]

Hi,

you are probably not including all the headers in your default setting. 
Try passing the following to llvm-g++

  -I/usr/include/x86_64-linux-gnu

Best,
Oscar

On 01/05/14 15:14, 이원준 wrote:
> 1. Im edit tutorial 1's get_sign.c -> get_sign.cpp
> 2. and just followed tutorial1
> 3. now im meet the error what's the problem?
> http://puu.sh/8uNcI.png
> ps. that Korean mean is no such file or directory
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>