From: Jannis Harder <me@jix.one>
Date: Sat, 2 Apr 2022 10:41:28 +0000 (+0200)
Subject: Merge pull request #3264 from jix/invalid_ff_dcinit_merge
X-Git-Tag: yosys-0.16~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ca9737180b39011fa75c1d8e34be3100b5b7b41;p=yosys.git

Merge pull request #3264 from jix/invalid_ff_dcinit_merge

opt_merge: Add `-keepdc` option required for formal verification
---

8ca9737180b39011fa75c1d8e34be3100b5b7b41