From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Fri, 3 Apr 2020 16:43:41 +0000 (+0000)
Subject: Use the `-duplicate` option rather than `-save` and `-load` with an explicit name.
X-Git-Tag: working-ls180~641^2~11
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=125a583c575747e07530b214c922ff6a17c5bb34;p=yosys.git

Use the `-duplicate` option rather than `-save` and `-load` with an explicit name.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
---

diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc
index bbe2f3354..3db84a579 100644
--- a/passes/sat/qbfsat.cc
+++ b/passes/sat/qbfsat.cc
@@ -446,7 +446,7 @@ struct QbfSatPass : public Pass {
 		if (!opt.specialize_from_file) {
 			//Save the design to restore after modiyfing the current module.
 			std::string module_name = module->name.str();
-			Pass::call(design, "design -save _qbfsat_tmp");
+			Pass::call(design, "design -duplicate");
 
 			//Replace input wires with wires assigned $allconst cells.
 			std::set<std::string> input_wires = validate_design_and_get_inputs(module);
@@ -455,7 +455,7 @@ struct QbfSatPass : public Pass {
 				assume_miter_outputs(module);
 
 			QbfSolutionType ret = qbf_solve(module, opt);
-			Pass::call(design, "design -load _qbfsat_tmp");
+			Pass::call(design, "design -pop");
 			module = design->module(module_name);
 
 			if (ret.unknown)