You are not using upstream KLEE! The error location (ModuleUtils.cpp:51) does not correspond to the current KLEE source code [1]. You should use upstream KLEE!
Make sure you configure KLEE with klee-uclibc support otherwise you will get that error with older builds of KLEE. For your reference I fixed this in [2]. [1] https://github.com/klee/klee/blob/master/lib/Module/ModuleUtil.cpp#L51 [2] https://github.com/klee/klee/commit/23225879b4e36c7926bc86dc22b4a6690fd0df4e On 11 May 2014 17:08, 이원준 <[email protected]> wrote: > Im using ubuntu 13.10 64bit > > > http://puu.sh/8IaZz.png > > > > this is my error how can i fix it? >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
