Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 4 Mar 2022 15:39:12 +0000 (16:39 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 15:39:12 +0000 (16:39 +0100)
commita95e5d505b8e5dd841ba6eb8b6d1e9cfe75aa776
treef3640bdd4d521efefa4f54e008bde2ac34d3ac0a
parent13655ddccf861de13f7b7faced793fdd2799dce4
parentdc739362c7e0c0d7befe2a5dc2866aef31ca5a20
Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id

add argument for printing cell names in yosys-smtbmc