about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2016-03-31 17:59:29 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2016-03-31 17:59:29 +0100
commitf5cc1a11f890ddc76c4ff5e62585bcadc4dc69f6 (patch)
treeb7eea7020a0f0d86de07ce84d2dd5239b5428c9c
parent6609a03e68bf551f433ddd0fd8cf64a8683ee2ee (diff)
downloadklee-f5cc1a11f890ddc76c4ff5e62585bcadc4dc69f6.tar.gz
Changed STP version in 1.2.x branch v1.2.0 1.2.x
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index aa3ca6b6..5c7147c6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ MAINTAINER Dan Liew <daniel.liew@imperial.ac.uk>
 
 ENV LLVM_VERSION=3.4 \
     SOLVERS=STP:Z3 \
-    STP_VERSION=master \
+    STP_VERSION=2.1.0 \
     DISABLE_ASSERTIONS=0 \
     ENABLE_OPTIMIZED=1 \
     KLEE_UCLIBC=klee_uclibc_v1.0.0 \