mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

smt2: py3.12+: avoid SyntaxWarning.

Browse source 
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.
This commit is contained in:
Charlotte 2023-06-23 14:38:15 +10:00
parent f9257d3192
commit 3f29bdbbc5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smtio.py
View file

@ -768,7 +768,7 @@ class SmtIo:
if self.timeinfo: if self.timeinfo:
i = 0 i = 0
s = "/-\|" s = r"/-\|"
count = 0 count = 0
num_bs = 0 num_bs = 0
@ -1171,7 +1171,7 @@ class MkVcd:
def escape_name(self, name): def escape_name(self, name):
name = re.sub(r"\[([0-9a-zA-Z_]*[a-zA-Z_][0-9a-zA-Z_]*)\]", r"<\1>", 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 name = "\\" + name
return name return name