diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-20 11:58:23 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-20 11:58:23 -0700 |
| commit | caf4071c8bd4494d2c86d3ef9ea7b17fc74bafca (patch) | |
| tree | 08ee0263f698739cfeb19476413d5411aa512ab7 /tests/proc | |
| parent | a1573058e989a807885b1df1e249b9b82c9cbef6 (diff) | |
| download | yosys-caf4071c8bd4494d2c86d3ef9ea7b17fc74bafca.tar.gz yosys-caf4071c8bd4494d2c86d3ef9ea7b17fc74bafca.tar.bz2 yosys-caf4071c8bd4494d2c86d3ef9ea7b17fc74bafca.zip | |
Remove '-ignore_unknown_cells' option from 'sat'
Diffstat (limited to 'tests/proc')
0 files changed, 0 insertions, 0 deletions