From 7d29b92eba88479846ce086debbb9cf8413280aa Mon Sep 17 00:00:00 2001
From: Quentin Legot <legotquentin@gmail.com>
Date: Sun, 7 May 2023 16:56:38 +0200
Subject: [PATCH] temporary workaround for producteur_consommateur

---
 test/syscall_tests/producteur_consommateur.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/test/syscall_tests/producteur_consommateur.c b/test/syscall_tests/producteur_consommateur.c
index 07cf8c8..95d43b8 100644
--- a/test/syscall_tests/producteur_consommateur.c
+++ b/test/syscall_tests/producteur_consommateur.c
@@ -15,7 +15,7 @@ void producteur() {
         n_printf("batir une information\n");
         P(svide);
         iplein = (iplein + 1) % N;
-        n_printf("communique une information : %d\n", i);
+        // n_printf("communique une information : %d\n", i);
         tab[iplein] = i;
         V(splein);
     }
@@ -29,7 +29,7 @@ void consommateur() {
         n_printf("recevoir une information\n");
         int info = tab[ivide];
         V(svide);
-        n_printf("exploiter l'information : %d\n", info);
+        // n_printf("exploiter l'information : %d\n", info);
     }
 }
 
@@ -40,5 +40,6 @@ int main() {
     ThreadId consommateurTh = threadCreate("consommateur", consommateur);
     Join(producteurTh);
     Join(consommateurTh);
+    Shutdown();
     return 0;
 }