From a3e542830db0075200adbd7418e74be964a5b0d9 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Tue, 19 Oct 2021 10:27:49 +0200
Subject: [PATCH] Ensure the thread is active in openmp

---
 emu_openmp.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/emu_openmp.c b/emu_openmp.c
index c4091c8..9295d43 100644
--- a/emu_openmp.c
+++ b/emu_openmp.c
@@ -75,6 +75,7 @@ void
 hook_pre_openmp(struct ovni_emu *emu)
 {
 	assert(emu->cur_ev->header.model == 'M');
+	assert(emu->cur_thread->is_active);
 
 	switch(emu->cur_ev->header.category)
 	{