From fe8e1a110e3872433e2e00152564aa3ac22ba4d3 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Thu, 31 Mar 2016 01:49:27 +0200
Subject: [PATCH] Termination regression more reliable with smtlib solvers
---
.../scala/leon/regression/termination/TerminationSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/regression/termination/TerminationSuite.scala b/src/test/scala/leon/regression/termination/TerminationSuite.scala
index c9ccd0dd1..7096ad5dd 100644
--- a/src/test/scala/leon/regression/termination/TerminationSuite.scala
+++ b/src/test/scala/leon/regression/termination/TerminationSuite.scala
@@ -66,7 +66,7 @@ class TerminationSuite extends LeonRegressionSuite {
private def forEachFileIn(files: Iterable[File], forError: Boolean = false)(block : Output=>Unit) {
for(f <- files) {
- mkTest(f, Seq(), forError)(block)
+ mkTest(f, Seq("--solvers=smt-z3"), forError)(block)
}
}
--
GitLab