You need to install built essencials
, or you are using a 64bit maching without the 32bit -compatible libs installed.
发自我的小米手机
이원준 <[email protected]>于 2014-5-1 下午10:14写道：
1. Im edit tutorial 1's get_sign.c -> get_sign.cpp2. and just followed tutorial13. now im meet the error what's the problem?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
