diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-10-03 11:50:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 11:50:53 +0200 |
| commit | afdc990595245a7a070d4d9c39464d88582dc4f6 (patch) | |
| tree | 07e0d9fc902d50308b6467ca0f780872717efc18 /tests/fsm | |
| parent | e0a6742935b423991668e0fe901d676782db5648 (diff) | |
| parent | 3e27b2846bc7d4178f436035d5007ac598bc194d (diff) | |
| download | yosys-afdc990595245a7a070d4d9c39464d88582dc4f6.tar.gz yosys-afdc990595245a7a070d4d9c39464d88582dc4f6.tar.bz2 yosys-afdc990595245a7a070d4d9c39464d88582dc4f6.zip | |
Merge pull request #1429 from YosysHQ/clifford/checkmapped
Add "check -mapped"
Diffstat (limited to 'tests/fsm')
0 files changed, 0 insertions, 0 deletions