Checking if the travis upgrade broke things
@@ -23,3 +23,6 @@ curl https://saw.galois.com/builds/nightly/saw-0.2-2017-06-22-Ubuntu14.04-64.tar
mkdir -p saw && tar -xzf saw.tar.gz --strip-components=1 -C saw
mkdir -p $INSTALL_DIR && mv saw/* $INSTALL_DIR
+clang --version
+$INSTALL_DIR/saw --version
+
