diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-23 18:08:34 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-23 20:34:52 +0200 |
| commit | 33513d923a398a955c1c7e5f534e3099f3940154 (patch) | |
| tree | fc7c96a36312778fde7eff9e10feaf4260c58f5a /passes/memory | |
| parent | d905990d0194decb9f673ccf10aa488820816b87 (diff) | |
| download | yosys-33513d923a398a955c1c7e5f534e3099f3940154.tar.gz yosys-33513d923a398a955c1c7e5f534e3099f3940154.tar.bz2 yosys-33513d923a398a955c1c7e5f534e3099f3940154.zip | |
btor: Use is_mem_cell in one more place.
Diffstat (limited to 'passes/memory')
0 files changed, 0 insertions, 0 deletions