diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-22 19:19:42 +0100 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-25 21:53:58 +0100 |
| commit | a651204efa58b4a90ff568735e8d4f4540b92791 (patch) | |
| tree | 872bd21d055ad6e536edc7eb3313f553b280c9b5 /backends/smt2 | |
| parent | dcd9f0af23f9b580b044890452ecf1aef59bbb85 (diff) | |
| download | yosys-a651204efa58b4a90ff568735e8d4f4540b92791.tar.gz yosys-a651204efa58b4a90ff568735e8d4f4540b92791.tar.bz2 yosys-a651204efa58b4a90ff568735e8d4f4540b92791.zip | |
Fix handling of unique/unique0/priority cases in the frontend.
Basically:
- priority converts to (* full_case *)
- unique0 converts to (* parallel_case *)
- unique converts to (* parallel_case, full_case *)
Fixes #2596.
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions