diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-01-10 15:09:42 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-10 15:09:42 -0800 |
commit | ed2aeb498eb7bbe028ece4adf96b94bacd0b3ef0 (patch) | |
tree | 0047d69038a81110d422d20ccc4da21dc25ee344 | |
parent | 7d94e18100a6fe61805e94e754b199826571e7ef (diff) | |
download | yosys-ed2aeb498eb7bbe028ece4adf96b94bacd0b3ef0.tar.gz yosys-ed2aeb498eb7bbe028ece4adf96b94bacd0b3ef0.tar.bz2 yosys-ed2aeb498eb7bbe028ece4adf96b94bacd0b3ef0.zip |
Copy-pasta
-rw-r--r-- | passes/techmap/abc9.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 3ce435dd0..387d9b644 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -309,7 +309,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip abc9_script = abc9_script.erase(pos, strlen("&mfs")); abc9_script += stringf("; &ps -l; &write -n %s/output.aig;", tempdir_name.c_str()); - if (design->scratchpad_get_bool("abc9.debug")) { + if (design->scratchpad_get_bool("abc9.verify")) { if (dff_mode) abc9_script += "verify -s;"; else |