Hi, I also ran into that dead-end when compiling KLEE with LLVM-2.9.
I've been able to test the Coureutils by using LLVM-3.4, which is now the recommended version for KLEE. Regards, Oswaldo. On Sun, Dec 13, 2015 at 8:32 PM, <[email protected]> wrote: > Hi,all > > When attempting the klee coreutils tutorial, I've been running up against > an error when I attempt to run the programs with klee, i.e. the command > > klee --libc=uclibc --posix-runtime ./cat.bc --version > > Returns an error in the following form: > > klee: main.cpp:1110: llvm::Module* linkWithUclibc(llvm::Module*, > llvm::StringRef): Assertion `ft->getNumParams() == 7' failed. > 0 klee 0x0000000000d13aef > 1 klee 0x0000000000d14024 > 2 libpthread.so.0 0x00007fd3d6079340 > 3 libc.so.6 0x00007fd3d4dd8cc9 gsignal + 57 > 4 libc.so.6 0x00007fd3d4ddc0d8 abort + 328 > 5 libc.so.6 0x00007fd3d4dd1b86 > 6 libc.so.6 0x00007fd3d4dd1c32 > 7 klee 0x00000000005358ae main + 10734 > 8 libc.so.6 0x00007fd3d4dc3ec5 __libc_start_main + 245 > 9 klee 0x0000000000542502 > Aborted (core dumped) > > Can anyone please advise? > Best, > Luyao Luo > Zhejiang University > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
