Merge pull request #1248 from YosysHQ/eddie/abc9_speedup
authorEddie Hung <eddie@fpgeh.com>
Wed, 7 Aug 2019 19:25:26 +0000 (12:25 -0700)
committerGitHub <noreply@github.com>
Wed, 7 Aug 2019 19:25:26 +0000 (12:25 -0700)
abc9: speedup by using using "clean" more efficiently


Trivial merge