Merge pull request #736 from zemanlx/feature/travis-use-versioned-container

Use versioned container of Alpine Linux.

Author: Daniel Kroening

.travis.yml

@@ -11,9 +11,9 @@ matrix:
       services:
         - docker
       before_install:
-        - docker pull diffblue/cbmc-builder:alpine
+        - docker pull diffblue/cbmc-builder:alpine-0.0.1
       env:
-        - PRE_COMMAND="docker run -v ${TRAVIS_BUILD_DIR}:/cbmc -v ${HOME}/.ccache:/root/.ccache diffblue/cbmc-builder:alpine"
+        - PRE_COMMAND="docker run -v ${TRAVIS_BUILD_DIR}:/cbmc -v ${HOME}/.ccache:/root/.ccache diffblue/cbmc-builder:alpine-0.0.1"
         - COMPILER="ccache g++"
 
     # OS X using g++