From ee07f777d5e3154f5532fb11641e7136d35ea863 Mon Sep 17 00:00:00 2001
From: Tim Jammer <tim.jammer@tu-darmstadt.de>
Date: Fri, 2 Aug 2024 13:14:28 +0200
Subject: [PATCH] fix missclassification of deadlock

---
 scripts/MBIutils.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/MBIutils.py b/scripts/MBIutils.py
index e19e04eb7..14d398765 100644
--- a/scripts/MBIutils.py
+++ b/scripts/MBIutils.py
@@ -308,7 +308,7 @@ def parse_one_code(filename):
                     state = 2
                 else:
                     raise ValueError(f"Unexpected end of MBB_TESTS header at line {line_num}: \n{line}")
-            elif re.match("This testcase can result in a Deadlock", line):
+            elif "This testcase can result in a Deadlock" in line:
                 can_deadlock = True
             if state == 1 and re.match("\s+\$ ?.*", line):
                 m = re.match('\s+\$ ?(.*)', line)
-- 
GitLab