Merge pull request #1305 from YosysHQ/clifford/testfast
authorClifford Wolf <clifford@clifford.at>
Mon, 19 Aug 2019 10:58:09 +0000 (12:58 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Aug 2019 10:58:09 +0000 (12:58 +0200)
Speed up "make test" and related cleanups


Trivial merge