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