Thanks a lot!
------------------ ???????? ------------------
??????: "Dan Liew"<[email protected]>;
????????: 2017??5??2??(??????) ????9:55
??????: "????"<[email protected]>;
????: "klee-dev"<[email protected]>;
????: Re: [klee-dev] an error occurs when building klee from source againstLLVM
3.4
On 2 May 2017 at 04:32, ???? <[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
