From f1e1bd3658af757a28470340295ffe9d037382bd Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Thu, 28 Apr 2016 19:05:50 +0200
Subject: [PATCH] Moved InputCoverageSuite over to smt-z3
---
.../scala/leon/integration/solvers/InputCoverageSuite.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala b/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
index 57c7e20a8..b08dd2cf8 100644
--- a/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
+++ b/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
@@ -53,6 +53,8 @@ class InputCoverageSuite extends LeonTestSuiteWithProgram with Matchers with Sca
//override a because it comes from both Matchers and ExpressionsDSLVariables
override val a = null
+ override val leonOpts = List("--solvers=smt-cvc4")
+
val sources = List("""
|import leon.lang._
|import leon.collection._
--
GitLab