diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-08-05 12:28:18 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-08-05 12:28:18 +0200 |
| commit | b4a4cb081de717a7f6de89914f8f5ffec959b0c3 (patch) | |
| tree | a99b7d104001a9afc759071f8bfcdbeb557335f2 /examples/smtbmc/Makefile | |
| parent | c39ebe6ae0e41cf9a84da852fa3cf9f71937a9b2 (diff) | |
| download | yosys-b4a4cb081de717a7f6de89914f8f5ffec959b0c3.tar.gz yosys-b4a4cb081de717a7f6de89914f8f5ffec959b0c3.tar.bz2 yosys-b4a4cb081de717a7f6de89914f8f5ffec959b0c3.zip | |
techmap.CONSTMAP: Handle outputs before inputs.
Fixes #2321.
Diffstat (limited to 'examples/smtbmc/Makefile')
0 files changed, 0 insertions, 0 deletions