From 56e5503c7c5ec0928ede3a13c0222006044f21b1 Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Mon, 16 Sep 2024 10:30:54 +0200
Subject: [PATCH] Require multicore-bench 0.1.5

The new version has improved error handling to ensure that benchmarks terminate
even when they might raise unexpectedly.
---
 dune-project   | 2 +-
 kcas_data.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index 96c1e31d..b96846ee 100644
--- a/dune-project
+++ b/dune-project
@@ -94,7 +94,7 @@
     :with-test))
   (multicore-bench
    (and
-    (>= 0.1.4)
+    (>= 0.1.5)
     :with-test))
   (alcotest
    (and
diff --git a/kcas_data.opam b/kcas_data.opam
index 057d28dd..f129b2f7 100644
--- a/kcas_data.opam
+++ b/kcas_data.opam
@@ -22,7 +22,7 @@ depends: [
   "backoff" {>= "0.1.0" & with-test}
   "domain-local-await" {>= "1.0.1" & with-test}
   "domain_shims" {>= "0.1.0" & with-test}
-  "multicore-bench" {>= "0.1.4" & with-test}
+  "multicore-bench" {>= "0.1.5" & with-test}
   "alcotest" {>= "1.8.0" & with-test}
   "qcheck-core" {>= "0.21.2" & with-test}
   "qcheck-stm" {>= "0.3" & with-test}