[LLVMdev] Dragonegg 2.9 Cannot load plugin

[Dan Liew]

On 16 July 2014 15:59, Nga Dang <nga.dang85 at gmail.com> wrote:
> Hi,
>
> I'm using KLEE which supports only LLVM-2.9.

I've just answered a similar question you posted on klee-dev (see
[1]). KLEE supports LLVM3.4 so I would advise you just use Clang 3.4
and save yourself a lot of pain.

You should not thought KLEE has very rudimentary C++ support so many
things are likely not to work.


[1] http://mailman.ic.ac.uk/pipermail/klee-dev/2014-July/000766.html

Thanks,
Dan