I am unable to compile klee with llvm2.6 during the make process in Ubuntu. The
following is the message I received before it stopped execution.
llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for Release
build (bytecode)
/home/xiangwen/llvm/llvm-2.6/Release/bin/llvm-as:
/home/xiangwen/klee-nush/runtime/Intrinsic/Release/klee_div_zero_check.ll:11:25:
error: expected instruction opcode
%0 = icmp eq i64 %z, 0, !dbg !0 ; <i1> [#uses=1]
^
/home/xiangwen/llvm/llvm-2.6/Release/bin/opt: Invalid bitcode signature
make[2]: ***
[/home/xiangwen/klee-nush/runtime/Intrinsic/Release/klee_div_zero_check.bc]
Error 1
make[2]: Leaving directory `/home/xiangwen/klee-nush/runtime/Intrinsic'
make[1]: *** [Intrinsic/.makeall] Error 2
make[1]: Leaving directory `/home/xiangwen/klee-nush/runtime'
make: *** [all] Error 1
Thank you
