CVC4 should work on regression now

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

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