Changed STP version in 1.1.x branch

chao-peng · Nov 13, 2015 · 15337ff · 15337ff
1 parent ca9f27d
commit 15337ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -6,7 +6,7 @@ MAINTAINER Dan Liew <[email protected]>
 # 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 \