Merge pull request #832 from YosysHQ/supercover
authorClifford Wolf <clifford@clifford.at>
Thu, 28 Feb 2019 20:08:01 +0000 (12:08 -0800)
committerGitHub <noreply@github.com>
Thu, 28 Feb 2019 20:08:01 +0000 (12:08 -0800)
commit5e94a8a12777222c21c4dc70b16ede1de7f6ea99
tree23d56307202d8da4bc9059c55b61915f27e0dee2
parent7a40294e93490fa462343244b1e2881c3c249c3f
parent63be3f3bab9293cf5b8f7416fce13cdeaa030727
Merge pull request #832 from YosysHQ/supercover

Add "supercover" pass