From 0fc99cf00f73f9e0128da287e61b9a5fe9eeb9c3 Mon Sep 17 00:00:00 2001
From: Matt Bovel <matthieu@bovel.net>
Date: Mon, 12 Jun 2023 09:24:04 +0200
Subject: [PATCH] Augment limits of the testing framework

---
 .../scala/concpar21final03/instrumentation/TestHelper.scala | 4 ++--
 src/test/scala/instrumentation/TestHelper.scala             | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/test/scala/concpar21final03/instrumentation/TestHelper.scala b/src/test/scala/concpar21final03/instrumentation/TestHelper.scala
index 987f445..ede7f65 100644
--- a/src/test/scala/concpar21final03/instrumentation/TestHelper.scala
+++ b/src/test/scala/concpar21final03/instrumentation/TestHelper.scala
@@ -8,8 +8,8 @@ import Stats.*
 object TestHelper:
   val noOfSchedules = 10000 // set this to 100k during deployment
   val readWritesPerThread =
-    20 // maximum number of read/writes possible in one thread
-  val contextSwitchBound = 10
+    100 // maximum number of read/writes possible in one thread
+  val contextSwitchBound = 500
   val testTimeout = 150 // the total time out for a test in seconds
   val schedTimeout =
     15 // the total time out for execution of a schedule in secs
diff --git a/src/test/scala/instrumentation/TestHelper.scala b/src/test/scala/instrumentation/TestHelper.scala
index 107180a..6a58431 100644
--- a/src/test/scala/instrumentation/TestHelper.scala
+++ b/src/test/scala/instrumentation/TestHelper.scala
@@ -8,8 +8,8 @@ import Stats.*
 object TestHelper:
   val noOfSchedules = 10000 // set this to 100k during deployment
   val readWritesPerThread =
-    20 // maximum number of read/writes possible in one thread
-  val contextSwitchBound = 10
+    100 // maximum number of read/writes possible in one thread
+  val contextSwitchBound = 500
   val testTimeout = 240 // the total time out for a test in seconds
   val schedTimeout =
     15 // the total time out for execution of a schedule in secs
@@ -101,7 +101,7 @@ object TestHelper:
     val scheduleLength = readWritesPerThread * numThreads
     val rands =
       (1 to scheduleLength).map(i =>
-        new Random(0xcafe * i)
+        new Random(0x0042 * i)
       ) // random numbers for choosing a thread at each position
     def schedules(): LazyList[List[Int]] =
       var contextSwitches = 0
-- 
GitLab