From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 3 Oct 2019 09:50:53 +0000 (+0200)
Subject: Merge pull request #1429 from YosysHQ/clifford/checkmapped
X-Git-Tag: working-ls180~1021
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afdc990595245a7a070d4d9c39464d88582dc4f6;p=yosys.git

Merge pull request #1429 from YosysHQ/clifford/checkmapped

Add "check -mapped"
---

afdc990595245a7a070d4d9c39464d88582dc4f6