diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-10-18 10:54:53 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-10-18 10:54:53 +0200 |
| commit | 281a977b39ec832b5ad4d84027dc98a6e8f99d7c (patch) | |
| tree | 202556430fb041afadc880e70823337e3afa258f /backends/smt2 | |
| parent | 9e980a2bb0c0595a4310c4c450b9a2c28c6ad9ed (diff) | |
| download | yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.tar.gz yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.tar.bz2 yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.zip | |
Ignore L_pi nets in "yosys-smtbmc --cex"
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtbmc.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index fabcdc92d..04c25f914 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -319,12 +319,15 @@ assert topmod in smt.modinfo if cexfile is not None: with open(cexfile, "r") as f: - cex_regex = re.compile(r'([^\[@=]+)(\[\d+\])?(@\d+)=([01])') + cex_regex = re.compile(r'([^\[@=]+)(\[\d+\])?([^@=]*)(@\d+)=([01])') for entry in f.read().split(): match = cex_regex.match(entry) assert match - name, bit, step, val = match.group(1), match.group(2), match.group(3), match.group(4) + name, bit, extra_name, step, val = match.group(1), match.group(2), match.group(3), match.group(4), match.group(5) + + if extra_name != "": + continue if name not in smt.modinfo[topmod].inputs: continue |