diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-10-25 13:05:14 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-10-25 13:05:14 +0200 |
| commit | dd46d76394eb3f345d8af63ade4fd2b4f2e443e1 (patch) | |
| tree | 24516ef651bfe729baca93ee4e45557640146173 | |
| parent | baddb017fe5eb72fbb65d6f89553dc2341663613 (diff) | |
| download | yosys-dd46d76394eb3f345d8af63ade4fd2b4f2e443e1.tar.gz yosys-dd46d76394eb3f345d8af63ade4fd2b4f2e443e1.tar.bz2 yosys-dd46d76394eb3f345d8af63ade4fd2b4f2e443e1.zip | |
Fix a bug in yosys-smtbmc in ROM handling
| -rw-r--r-- | backends/smt2/smtbmc.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index c8151c266..d9b79e26e 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -644,6 +644,9 @@ def write_vcd_trace(steps_start, steps_stop, index): data = ["x"] * width gotread = False + if len(wdata) == 0 and len(rdata) != 0: + wdata = [[]] * len(rdata) + assert len(rdata) == len(wdata) for i in range(len(wdata)): |