> Klee: error while loading shared libraries: libstp.so: cannot open shared
object file: No such file or directory

This is a known issue. It occurs because upstream STP now builds libstp as
a shared library by default. You have two options right now.

Option 1. Delete 'libstp.so'  and rebuild STP by building libstp as a
static library.

There are multiple ways of telling CMake to build libstp as a static library

* If you have ccmake or originally used cmake-gui you can run 'make
edit_cache' and then proceed to change BUILD_SHARED_LIBS to OFF in the
interface that appears.

* Just run CMake again as you did originally but pass this extra option
(before the path to the stp source root)


Then just run make again to rebuild. Check you have 'libstp.a' in the
'/path/to/stp/build_directory/lib' and that there is no 'libstp.so' file.

Option 2. Apply changes in a pull request to KLEE

- Apply the changes in this [1] pull request to KLEE.

[1] https://github.com/klee/klee/pull/136

Hope that helps. Oh and YES you can ask questions here!

klee-dev mailing list

Reply via email to