Changes in src/tests/sched-int-wait.c [f3c1737:cd99ef1]

File:

• src/tests/sched-int-wait.c (modified) (2 diffs)

src/tests/sched-int-wait.c

@@ -5 +5 @@
 #include <thread>
 
-#ifndef N
-#define N 10_000
+static const unsigned long N = 10_000ul;
+
+#ifndef PREEMPTION_RATE
+#define PREEMPTION_RATE 10_000ul
 #endif
+
+unsigned int default_preemption() {
+        return PREEMPTION_RATE;
+}
 
 monitor global_t {};
@@ -114 +120 @@
 int main(int argc, char* argv[]) {
         waiter_left = 4;
-        processor p;
+        processor p[2];
         sout | "Starting" | endl;
         {