Fix SMT Memory Bug (#1942) (4c6993bf) · Commits · github.com / freechipsproject / firrtl

Unverified Commit 4c6993bf authored Nov 09, 2020 by

Kevin Laeufer Committed by GitHub Nov 10, 2020

Fix SMT Memory Bug (#1942)



* smt: add test for write port collision

* smt: add missing call to insertDummyAssignsForMemoryOutputs

* smt: fix typo in write port code

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

parent 92af63c5

Hide whitespace changes

Inline Side-by-side

Please register or to comment