smt: ensure that all signals have a unique name (#1943) (#1946) (0e7ccf2f) · Commits · github.com / freechipsproject / firrtl

Unverified Commit 0e7ccf2f authored Nov 11, 2020 by

mergify[bot] Committed by GitHub Nov 11, 2020

smt: ensure that all signals have a unique name (#1943) (#1946)

* smt: add tests for assert name clashes

* smt: ensure unique signal names with a namespace

this fixes issues #1934

(cherry picked from commit fe95544d

)

Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>

parent 98f4da8b

Hide whitespace changes

Inline Side-by-side

Please register or to comment