mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Fix smtbmc smtc/aiw parser for wire names containing []

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-03 14:15:49 +01:00
parent cabc3c59e0
commit 3ced2cca6e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smtbmc.py
View file

@ -338,7 +338,7 @@ def get_constr_expr(db, state, final=False, getvalues=False):
if state not in db: if state not in db:
return ([], [], []) if getvalues else "true" return ([], [], []) if getvalues else "true"
netref_regex = re.compile(r'(^|[( ])\[(-?[0-9]+:|)([^\]]*)\](?=[ )]|$)') netref_regex = re.compile(r'(^|[( ])\[(-?[0-9]+:|)([^\]]*|\S*)\](?=[ )]|$)')
def replace_netref(match): def replace_netref(match):
state_sel = match.group(2) state_sel = match.group(2)