diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 07:54:11 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 08:21:26 -0700 |
| commit | 3a27906ac65a1287d1cc4ea758e639b608e152a6 (patch) | |
| tree | f6f812c5ed116ead24cd3114d5170a50b8a159ce /passes/techmap | |
| parent | 843201ec96ed7c04a1fc5bb1c5b7558f018573a3 (diff) | |
| download | yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.tar.gz yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.tar.bz2 yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.zip | |
abc9_exe: verify -> &verify -s
Diffstat (limited to 'passes/techmap')
| -rw-r--r-- | passes/techmap/abc9_exe.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/techmap/abc9_exe.cc b/passes/techmap/abc9_exe.cc index 303b04402..18618ff91 100644 --- a/passes/techmap/abc9_exe.cc +++ b/passes/techmap/abc9_exe.cc @@ -222,9 +222,9 @@ void abc9_module(RTLIL::Design *design, std::string script_file, std::string exe abc9_script += stringf("; &ps -l; &write -n %s/output.aig", tempdir_name.c_str()); if (design->scratchpad_get_bool("abc9.verify")) { if (dff_mode) - abc9_script += "; verify -s"; + abc9_script += "; &verify -s"; else - abc9_script += "; verify"; + abc9_script += "; &verify"; } abc9_script += "; time"; abc9_script = add_echos_to_abc9_cmd(abc9_script); |