KLEE must be inistalled on Linux X86_64? What operating systems you use? Ubutu
or Debian?
------------------ ???????? ------------------
??????: "[email protected]";
????????: 2014??5??5??(??????) ????2:21
??????: "이원준";
????: "klee-dev";
????: [klee-dev] ?????? How can I running .cpp from KLEE?
You need to install built essencials
, or you are using a 64bit maching without the 32bit -compatible libs installed.
????????????????
?3?3?3?9?3?9 <[email protected]>?? 2014-5-1 ????10:14??????
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
