From 452385fc3afa5e31093e7f2de158d042cf550ff8 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Mon, 16 Dec 2019 13:41:22 -0800
Subject: [PATCH] Update CI configuration to download yices-smt2 binary (#673).

---
 .travis.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 6f984677e..aa554afd9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -29,6 +29,10 @@ before_install:
         chmod +x z3;
         mv z3 $HOME/bin/z3;
         z3 --version;
+        curl https://saw.galois.com/builds/yices/yices_smt2-linux-static > yices-smt2;
+        chmod +x yices-smt2;
+        mv yices-smt2 $HOME/bin/yices-smt2;
+        yices-smt2 --version;
     fi
   - env