Merge pull request #1429 from YosysHQ/clifford/checkmapped
authorClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2019 09:50:53 +0000 (11:50 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 09:50:53 +0000 (11:50 +0200)
commitafdc990595245a7a070d4d9c39464d88582dc4f6
tree07e0d9fc902d50308b6467ca0f780872717efc18
parente0a6742935b423991668e0fe901d676782db5648
parent3e27b2846bc7d4178f436035d5007ac598bc194d
Merge pull request #1429 from YosysHQ/clifford/checkmapped

Add "check -mapped"