Augment limits of the testing framework

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

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