Fix _minus_ in skip file (#633)

kkrt-labs · Jan 8, 2024 · 4890014 · 4890014
1 parent d213f76
commit 4890014
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/scripts/generate_skip_file.py b/scripts/generate_skip_file.py
@@ -10,7 +10,10 @@
         .replace("_minus_", "-")
         .replace("_plus_", "+")
         .replace("_xor_", "^"),
-        m.split("::")[-1],
+        m.split("::")[-1]
+        .replace("_minus_", "-")
+        .replace("_plus_", "+")
+        .replace("_xor_", "^"),
     )
     for m in re.findall(r"thread '(.*)' panicked at", data)
 ]