From 3f8c5d3d5dbbc7c29b83700f9e21050979716967 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Thu, 30 Nov 2023 15:04:11 +0200
Subject: [PATCH] Add going multithreaded to lock-digest test

---
 tests/regression/46-apron2/58-lock-digest.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tests/regression/46-apron2/58-lock-digest.c b/tests/regression/46-apron2/58-lock-digest.c
index c77c1ab821..454d1b586c 100644
--- a/tests/regression/46-apron2/58-lock-digest.c
+++ b/tests/regression/46-apron2/58-lock-digest.c
@@ -20,11 +20,17 @@ void *t1(void *arg) {
   pthread_mutex_lock(&a);
   h = 11; g = 12;
   pthread_mutex_unlock(&a);
+  return NULL;
+}
 
+void *t0(void *arg) {
   return NULL;
 }
 
 int main() {
+  pthread_t x;
+  pthread_create(&x, NULL, t0, NULL); // go multithreaded
+
   pthread_mutex_lock(&a);
   h = 9;
   g = 10;