How can I running .cpp from KLEE?

[이원준]

Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit

[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

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?
Loading Image...
ps. that Korean mean is no such file or directory
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev