about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2015-11-13 12:56:02 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-11-13 12:56:02 +0000
commit15337ffc2558348356fefccde5bfa9e80db0d38b (patch)
tree8bb416c2396b65f97a66042c5d9725e2ee0bdb56
parentca9f27d9192b55ba52606feb8f34b6947b462133 (diff)
downloadklee-15337ffc2558348356fefccde5bfa9e80db0d38b.tar.gz
Changed STP version in 1.1.x branch v1.1.0 1.1.x
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index b6aab804..7513ac70 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ MAINTAINER Dan Liew <daniel.liew@imperial.ac.uk>
 # the resulting image is unnecessarily large!
 
 ENV LLVM_VERSION=3.4 \
-    STP_VERSION=master \
+    STP_VERSION=2.1.0 \
     DISABLE_ASSERTIONS=0 \
     ENABLE_OPTIMIZED=1 \
     KLEE_UCLIBC=klee_uclibc_v1.0.0 \