summaryrefslogtreecommitdiff
path: root/libs/ezsat/testbench.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-16 11:49:31 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-16 11:49:31 +0200
commit18cb8b4636933cb5a1ad3040f061d53345d1aa1d (patch)
tree6fef7c7b533b0bb07e2eda73f4dab8fcabc5889b /libs/ezsat/testbench.cc
parent66eb254fc2595a6dcd94b439b0b287cc59c47270 (diff)
Don't be too smart with $dff cells with "init" attribute on out signal
Diffstat (limited to 'libs/ezsat/testbench.cc')
0 files changed, 0 insertions, 0 deletions