Closed jix closed 2 years ago
Waiting for the next nightly for the corresponding smtbmc support (https://github.com/YosysHQ/yosys/pull/3357)
Waiting for the next nightly for the corresponding smtbmc support (https://github.com/YosysHQ/yosys/pull/3357)