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
