Merge pull request #1004 from YosysHQ/clifford/fix1002
authorClifford Wolf <clifford@clifford.at>
Sun, 12 May 2019 13:33:53 +0000 (15:33 +0200)
committerGitHub <noreply@github.com>
Sun, 12 May 2019 13:33:53 +0000 (15:33 +0200)
commit5772732a6d24bbf1a46301f03623567079316f7a
treeeb52845c2e879ba58d0a888fc5fc2011eef8ef25
parentfaf00586d811479f486771102ba1a399e6a0f2df
parent8166a142dd251f9d9ba2d172737d757ac52aa772
Merge pull request #1004 from YosysHQ/clifford/fix1002

Fix handling of glob_abort_cnt in opt_muxtree