Thanks a lot!
------------------ ???????? ------------------
??????: "Dan Liew"<d...@su-root.co.uk>;
????????: 2017??5??2??(??????) ????9:55
??????: "????"<zyj183247...@qq.com>;
????: "klee-dev"<klee-dev@imperial.ac.uk>;
????: Re: [klee-dev] an error occurs when building klee from source againstLLVM
3.4
On 2 May 2017 at 04:32, ???? <zyj183247...@qq.com> wrote:
> Hi, Excuse me, i have a question which i cannot solve.I build KLEE using the
> approach below,
>
> Build from source against LLVM 3.4: this is the current recommended version.
>
>
> and i have complete all steps until i run make command in Klee_build_dir
> directory, but the following errors occur. Hope for your help!
This is an RTTI issue. See https://github.com/klee/klee/issues/508
I have documentation up for review to clarify how to handle this at
https://github.com/klee/klee.github.io/pull/81
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
