diff options
| author | Kevin Laeufer | 2020-11-09 19:57:08 -0800 |
|---|---|---|
| committer | GitHub | 2020-11-10 03:57:08 +0000 |
| commit | 4c6993bf87dd6419e42387148c2b1d899e47fe73 (patch) | |
| tree | 92e8399177a11039da2449e75fddfb944cc9981f /fuzzer/src/main | |
| parent | 92af63c599fc480f6480ee22f23763f54881085f (diff) | |
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>
Diffstat (limited to 'fuzzer/src/main')
0 files changed, 0 insertions, 0 deletions