aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat
diff options
context:
space:
mode:
authorAlberto Gonzalez <boqwxp@airmail.cc>2020-03-30 18:00:19 +0000
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-03-30 18:00:19 +0000
commit00544cffab17cbc6e4c7bf1b34cb41b8949e3aa4 (patch)
tree33e984dee008510c83022d42bb00ac43013445d0 /tests/sat
parent5a0f029e232164041c409454c1f09877e0ee9fdb (diff)
downloadyosys-00544cffab17cbc6e4c7bf1b34cb41b8949e3aa4.tar.gz
yosys-00544cffab17cbc6e4c7bf1b34cb41b8949e3aa4.tar.bz2
yosys-00544cffab17cbc6e4c7bf1b34cb41b8949e3aa4.zip
Remove unused function parameter.
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions