[llvm-dev] Bitcode generated with LLVM 7.0 used in LLVM 3.4

[mayuyu.io via llvm-dev]

As far as I remember the bitcode format changed during 3.4 and 7.0 so BitcodeReader might broke, just saying

Zhang

> 在 2018年7月15日，09:25，Muhui Jiang via llvm-dev <llvm-dev at lists.llvm.org> 写道：
> 
> Hi
> 
> I need a concolic execution framework based on LLVM. As far as I know, KLEE might be the best choice. However, KLEE(the stable version) is based on LLVM 3.4. 
> 
> I compiled my code with the latest LLVM, whose version is 7.0. Anyone know whether the bitcode could be used by KLEE. Or do I have to compile with the old version of LLVM again. Furthermore, if you have any other concolic execution framework, please recommend it to me. Many Thanks
> 
> Regards
> Muhui
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev