Hi, I'm trying to reproduce the coreutils experiment following http://ccadar.github.io/klee/TestingCoreutils.html , but when I run
klee --libc=uclibc --posix-runtime ./cat.bc --version I get the following error: klee: error: Cannot find linker input '/llvm-2.9/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca' /llvm-2.9/ is my llvm installation path; I've searched inside and there's not any libkleeRuntimePOSIX.bca there... Is anything wrong with my setup?. Thanks.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
