From 4be1df0c58f5ce62e962c9d29571309f082754c5 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 16 Apr 2015 18:15:01 +0200
Subject: [PATCH] CVC4 should work on regression now

---
 .../test/verification/PureScalaVerificationRegression.scala    | 1 -
 travis/fetchCVC4.sh                                            | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index bc1f02577..8ca1837b6 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -26,7 +26,6 @@ class PureScalaVerificationRegression extends VerificationRegression {
     val isCVC4Available = try {
       new CVC4Interpreter()
       true
-      // @EK: CVC4 works on most testcases already, but not all and thus cannot be used in regression.
     } catch {
       case e: java.io.IOException =>
         false
diff --git a/travis/fetchCVC4.sh b/travis/fetchCVC4.sh
index 44d5baf74..e18b54867 100755
--- a/travis/fetchCVC4.sh
+++ b/travis/fetchCVC4.sh
@@ -2,4 +2,7 @@ d=`date +%Y-%m-%d --date="2 days ago"`
 dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
 mkdir -p $dir/builds
 curl http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-$d-x86_64-linux-opt -o $dir/builds/cvc4
+
+chmod u+x $dir/builds/cvc4
+
 export PATH=$dir/builds/:$PATH
-- 
GitLab