From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 14 Apr 2020 14:54:11 +0000 (-0700)
Subject: abc9_exe: verify -> &verify -s
X-Git-Tag: working-ls180~656
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3a27906ac65a1287d1cc4ea758e639b608e152a6;p=yosys.git

abc9_exe: verify -> &verify -s
---

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);