Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef
authorclairexen <claire@symbioticeda.com>
Tue, 28 Jul 2020 10:56:22 +0000 (12:56 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 10:56:22 +0000 (12:56 +0200)
commit66afed6f55be9c32eb2a1eef921633b302efa9c4
tree3bd90b24e40dd45430bb2e67b99130c8c5fe11b5
parenta2fb84fd0c5f57b601b6a3c4cee0b409d74b5d21
parenta1a0abf52afe397e11b63bfc67e82aaf7bf9f498
Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef

equiv_induct: Fix up assumption for $equiv cells in -undef mode.