From c9cdd2c2398e8564938544f7cabcb7df7bd03b29 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 27 Feb 2012 14:37:02 +0100
Subject: [PATCH] we have our own timeout, thank you very much
---
src/purescala/FairZ3Solver.scala | 2 +-
src/purescala/Z3Solver.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/purescala/FairZ3Solver.scala b/src/purescala/FairZ3Solver.scala
index 9bad71102..d4208a8dd 100644
--- a/src/purescala/FairZ3Solver.scala
+++ b/src/purescala/FairZ3Solver.scala
@@ -25,7 +25,7 @@ class FairZ3Solver(reporter: Reporter) extends Solver(reporter) with AbstractZ3S
private val z3cfg = new Z3Config(
"MODEL" -> true,
"MBQI" -> false,
- "SOFT_TIMEOUT" -> 100,
+ // "SOFT_TIMEOUT" -> 100,
"TYPE_CHECK" -> true,
"WELL_SORTED_CHECK" -> true
)
diff --git a/src/purescala/Z3Solver.scala b/src/purescala/Z3Solver.scala
index 23406bf71..80cf41def 100644
--- a/src/purescala/Z3Solver.scala
+++ b/src/purescala/Z3Solver.scala
@@ -31,7 +31,7 @@ class Z3Solver(reporter: Reporter) extends Solver(reporter) with AbstractZ3Solve
private val z3cfg = new Z3Config(
"MODEL" -> true,
"MBQI" -> false,
- "SOFT_TIMEOUT" -> 100,
+ //"SOFT_TIMEOUT" -> 100,
"TYPE_CHECK" -> true,
"WELL_SORTED_CHECK" -> true
)
--
GitLab