Hi Zhiyi,
Please do reply-all when using the mailing list so that klee-dev gets CC'ed.
On 18 March 2015 at 08:32, Zhiyi Zhang xianlingzibiy...@gmail.com wrote:
Hi Dan,
Thank you for your reply very much.
I am still confused that do you mean coreutills cannot be run on KLEE
compiled with
On 18 March 2015 at 08:17, Zhiyi Zhang xianlingzibiy...@gmail.com wrote:
Hi all,
I have built the KLEE3.4 on Ubuntu14.10 and the Tutorial get_sign and Regexp
can also be run by KLEE3.4. I used clang to compile programs and run .bc
file on KLEE. However, when I built the coreutils on KLEE3.4
Hi all,
Thanks for your help! I have used whole-program-llvm for compiling
Coreutils6.11 with LLVM3.4. The steps are as following:
mkdir obj-llvm
cd obj-llvm
../configure --disable-nls CFLAGS=-g
CC=?
make
However, I do not know the what the contents of CC. Is it wllvm CXX=wllvm++
cmake ? And