From 0e4a8d374e9f0d8863f9ec4f405e0dee33fbaac8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Mon, 30 May 2011 17:53:41 +0000
Subject: [PATCH] tried a solution to the halt-before-solve problem, didn't
work
---
src/purescala/ParallelSolver.scala | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/src/purescala/ParallelSolver.scala b/src/purescala/ParallelSolver.scala
index 6232f7a21..2e43ab41d 100644
--- a/src/purescala/ParallelSolver.scala
+++ b/src/purescala/ParallelSolver.scala
@@ -28,6 +28,25 @@ class ParallelSolver(reporter: Reporter, solvers: Solver*) extends Solver(report
case class Result(res: Option[Boolean])
class SolverRunner(s: Solver) extends Actor {
+
+ /*
+ val that = this
+ val worker = new Actor {
+ def act(): Unit = {
+ while(true) {
+ receive {
+ case Solve(expr) => {
+ reporter.info("Starting solver " + s.shortDescription)
+ val res = s.solve(expr)
+ that ! Result(res)
+ reporter.info("Ending solver " + s.shortDescription)
+ }
+ }
+ }
+ }
+ }
+ */
+
def act(): Unit = {
while(true) {
receive {
--
GitLab