From 24071d475c8569051516ce3bc3236b4a0d609e8e Mon Sep 17 00:00:00 2001
From: Giacomo Guerci <giacomo.guerci14@imperial.ac.uk>
Date: Tue, 16 Aug 2016 14:31:11 +0100
Subject: [Klee Web] Link libkleeRuntest library to fix coverage report

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index ae5312d5..6ee9a9ac 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -136,4 +136,7 @@ RUN echo 'export PATH=$PATH:'${BUILD_DIR}'/klee/Release+Asserts/bin' >> /home/kl
 # Link klee to /usr/bin so that it can be used by docker run
 USER root
 RUN for exec in ${BUILD_DIR}/klee/Release+Asserts/bin/* ; do ln -s ${exec} /usr/bin/`basename ${exec}`; done
+
+# Link klee to the libkleeRuntest library needed by docker run
+RUN ln -s ${BUILD_DIR}/klee/Release+Asserts/lib/libkleeRuntest.so /usr/lib/libkleeRuntest.so.1.0
 USER klee
-- 
cgit 1.4.1