Hi,
>llvm[3]: Installing Release+Asserts Shared >Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so >/usr/bin/install: cannot stat '/home/docker/klee-1.1.0/Release >+Asserts/lib/libkleeRuntest.so': No such file or directory it is called libkleeRuntest.so.1 or whatever now, so it doesn't surprise me this error. g.
