diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-07-20 19:35:32 +0200 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-07-20 19:35:32 +0200 |
| commit | a207cb362cc4b682a37060f380362b23c927805e (patch) | |
| tree | 1366c3f29c9b03e71739a3b79bc6b9ae37287340 /techlibs/xilinx/arith_map.v | |
| parent | be6638e55bd25bc040b04e87762f3439e26989ab (diff) | |
| download | yosys-a207cb362cc4b682a37060f380362b23c927805e.tar.gz yosys-a207cb362cc4b682a37060f380362b23c927805e.tar.bz2 yosys-a207cb362cc4b682a37060f380362b23c927805e.zip | |
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'techlibs/xilinx/arith_map.v')
0 files changed, 0 insertions, 0 deletions