diff options
| author | Kevin Laeufer | 2020-11-09 14:15:56 -0800 |
|---|---|---|
| committer | GitHub | 2020-11-09 22:15:56 +0000 |
| commit | fe95544d573fff9bb114b3302986aa746e1f4763 (patch) | |
| tree | d0bcaa3397527338b7ce6511c7fd2452e63eb2b0 /scripts | |
| parent | 1d0b1138c479b5b414362bbce43aebe70ac4eeb5 (diff) | |
smt: ensure that all signals have a unique name (#1943)
* smt: add tests for assert name clashes
* smt: ensure unique signal names with a namespace
this fixes issues #1934
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions