From 3f29bdbbc56885fe1f6db9c9b49a5323d1d30ad6 Mon Sep 17 00:00:00 2001
From: Charlotte <charlotte@hrzn.ee>
Date: Fri, 23 Jun 2023 14:38:15 +1000
Subject: [PATCH] smt2: py3.12+: avoid SyntaxWarning.
Python 3.12 emits a SyntaxWarning when encountering invalid escape
sequences. They still parse as expected. Marking these raw produces
the same result without the warnings.
---
backends/smt2/smtio.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index a73745896..8094747bc 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -768,7 +768,7 @@ class SmtIo:
if self.timeinfo:
i = 0
- s = "/-\|"
+ s = r"/-\|"
count = 0
num_bs = 0
@@ -1171,7 +1171,7 @@ class MkVcd:
def escape_name(self, name):
name = re.sub(r"\[([0-9a-zA-Z_]*[a-zA-Z_][0-9a-zA-Z_]*)\]", r"<\1>", name)
- if re.match("[\[\]]", name) and name[0] != "\\":
+ if re.match(r"[\[\]]", name) and name[0] != "\\":
name = "\\" + name
return name