fix missclassification of deadlock

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)