Merge pull request #1142 from YosysHQ/clifford/fix1132
authorEddie Hung <eddie@fpgeh.com>
Thu, 27 Jun 2019 14:21:31 +0000 (07:21 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Jun 2019 14:21:31 +0000 (07:21 -0700)
Fix handling of partial covers in muxcover


Trivial merge