Merge pull request #3264 from jix/invalid_ff_dcinit_merge
authorJannis Harder <me@jix.one>
Sat, 2 Apr 2022 10:41:28 +0000 (12:41 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 10:41:28 +0000 (12:41 +0200)
commit8ca9737180b39011fa75c1d8e34be3100b5b7b41
tree54404dcb4820ce971b7d889d64bd5bada67e468f
parent5ac5c57c737129927465857b1d458ee1b1882cf1
parentca5b910296c05c95f3bc7f2d1d2b7db19d6328e2
Merge pull request #3264 from jix/invalid_ff_dcinit_merge

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