aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/supercover.cc
diff options
context:
space:
mode:
authorAlberto Gonzalez <boqwxp@airmail.cc>2020-04-07 03:29:54 +0000
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-04-07 03:29:54 +0000
commit194354e1280b082c2d4066839010b9d250386bb7 (patch)
tree1ca31fd2315f2b5a61c2473f32c93364c506c3ff /passes/sat/supercover.cc
parent5fedd0931c6e749483b8ddb3d7672ddca9ac5310 (diff)
downloadyosys-194354e1280b082c2d4066839010b9d250386bb7.tar.gz
yosys-194354e1280b082c2d4066839010b9d250386bb7.tar.bz2
yosys-194354e1280b082c2d4066839010b9d250386bb7.zip
Remove `$anyconst` cells before specialization to eliminate warnings and the need to run `opt_clean`.
Diffstat (limited to 'passes/sat/supercover.cc')
0 files changed, 0 insertions, 0 deletions