diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-08-04 17:09:08 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-08-04 17:09:08 +0200 |
| commit | 48b2b376d0c2bf1f8e32b2f201923783c65108f0 (patch) | |
| tree | c42f21a34697c63cf82cf4716769a7bd085be146 /passes/opt/opt_rmdff.cc | |
| parent | 1dc921d9a13934f92ff48a382e9217d6cd92d748 (diff) | |
| download | yosys-48b2b376d0c2bf1f8e32b2f201923783c65108f0.tar.gz yosys-48b2b376d0c2bf1f8e32b2f201923783c65108f0.tar.bz2 yosys-48b2b376d0c2bf1f8e32b2f201923783c65108f0.zip | |
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
Diffstat (limited to 'passes/opt/opt_rmdff.cc')
0 files changed, 0 insertions, 0 deletions