From 7cbd9cb7b8a12e78667d7db8fd8655b128cd48df Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Sat, 9 Nov 2013 20:30:20 +0000
Subject: [PATCH] setting cores

---
 pykat/testing/test.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pykat/testing/test.py b/pykat/testing/test.py
index b7c857b..87c93c6 100644
--- a/pykat/testing/test.py
+++ b/pykat/testing/test.py
@@ -94,7 +94,7 @@ class FinesseTestProcess(Thread):
         
     def __init__(self, TEST_DIR, BASE_DIR, test_commit, 
                  run_fast=False, kats={}, test_id="0",
-                 git_bin="",emails="", nobuild=False, pool_size=int(multiprocessing.cpu_count()*3.0/4.0),*args, **kqwargs):
+                 git_bin="",emails="", nobuild=False, pool_size=int(multiprocessing.cpu_count()*3.5/4.0),*args, **kqwargs):
                  
          
         self.queue_time = None
@@ -116,7 +116,7 @@ class FinesseTestProcess(Thread):
         if pool_size < 1:
             self.pool_size = 1
         else:
-            self.pool_size = 1 # default to 1 for testing # pool_size
+            self.pool_size = pool_size
         
         Thread.__init__(self)
         self.git_commit = test_commit
-- 
GitLab