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
