Merge pull request #1108 from YosysHQ/clifford/fix1091
authorEddie Hung <eddie@fpgeh.com>
Sat, 22 Jun 2019 00:13:41 +0000 (17:13 -0700)
committerGitHub <noreply@github.com>
Sat, 22 Jun 2019 00:13:41 +0000 (17:13 -0700)
Add support for partial matches to muxcover


Trivial merge