abc9_exe: verify -> &verify -s

diff --git a/passes/techmap/abc9_exe.cc b/passes/techmap/abc9_exe.cc
index 303b0440237c0c369a74005d472a7cbf7c37674b..18618ff91ba4570957567f23e1b7d2e106bdffad 100644 (file)
--- 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);