From: clairexen Date: Tue, 28 Jul 2020 10:56:22 +0000 (+0200) Subject: Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef X-Git-Tag: working-ls180~345 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=66afed6f55be9c32eb2a1eef921633b302efa9c4;p=yosys.git Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef equiv_induct: Fix up assumption for $equiv cells in -undef mode. --- 66afed6f55be9c32eb2a1eef921633b302efa9c4