From 093c5046eb7074341716077e19214a7ee5ca6c53 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 29 Mar 2011 13:34:07 +0000
Subject: [PATCH] woops, bug.
---
src/purescala/FairZ3Solver.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/purescala/FairZ3Solver.scala b/src/purescala/FairZ3Solver.scala
index 03bd51ba7..33f61170f 100644
--- a/src/purescala/FairZ3Solver.scala
+++ b/src/purescala/FairZ3Solver.scala
@@ -247,6 +247,7 @@ class FairZ3Solver(val reporter: Reporter) extends Solver(reporter) with Abstrac
def decideWithModel(vc: Expr, forValidity: Boolean): (Option[Boolean], Map[Identifier,Expr]) = {
var forceStop : Boolean = false
+ var foundDefinitiveAnswer : Boolean = false
def stopCallback() : Unit = {
if(!foundDefinitiveAnswer) {
reporter.error(" - Timeout reached.")
@@ -258,7 +259,6 @@ class FairZ3Solver(val reporter: Reporter) extends Solver(reporter) with Abstrac
val timer : Option[Timer] = Settings.solverTimeout.map(t => new Timer(stopCallback, t))
timer.foreach(_.start())
- var foundDefinitiveAnswer : Boolean = false
var definitiveAnswer : Option[Boolean] = None
var definitiveModel : Map[Identifier,Expr] = Map.empty
def foundAnswer(answer : Option[Boolean], model : Map[Identifier,Expr] = Map.empty) : Unit = {
--
GitLab