diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 02:02:40 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | 5527063f662cbb4b3be6af0f81b6877d58c5682e (patch) | |
| tree | 81f27d73e07e04d6b4e2f54ebec1c3c919d823f8 /techlibs/xilinx/xilinx_dffopt.cc | |
| parent | 3a4fd4a999771f54adb16bf2cc037c79e7e393e8 (diff) | |
| download | yosys-5527063f662cbb4b3be6af0f81b6877d58c5682e.tar.gz yosys-5527063f662cbb4b3be6af0f81b6877d58c5682e.tar.bz2 yosys-5527063f662cbb4b3be6af0f81b6877d58c5682e.zip | |
Add NDEBUG guards to `qbfsat` assertions.
Diffstat (limited to 'techlibs/xilinx/xilinx_dffopt.cc')
0 files changed, 0 insertions, 0 deletions