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)
commitee77ee697319be3ec31f64084f495b855781be7c
tree8530c8807a5501b410e0339093b27c9ccefad2c2
parentbb4ae8bc6603365ec41d4e3cc699798dd7989133
parent3910bc2ea63fa5ed0f3c961126866639058f651d
Merge pull request #1142 from YosysHQ/clifford/fix1132

Fix handling of partial covers in muxcover