Changed STP version in 1.2.x branch

kewudu · Mar 31, 2016 · f5cc1a1 · f5cc1a1
1 parent 6609a03
commit f5cc1a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -7,7 +7,7 @@ MAINTAINER Dan Liew <[email protected]>
 
 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 \