diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-03 16:43:41 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | 125a583c575747e07530b214c922ff6a17c5bb34 (patch) | |
| tree | 859e100e6246699291bb1c992789862a7991f462 /passes/sat/qbfsat.cc | |
| parent | 86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6 (diff) | |
| download | yosys-125a583c575747e07530b214c922ff6a17c5bb34.tar.gz yosys-125a583c575747e07530b214c922ff6a17c5bb34.tar.bz2 yosys-125a583c575747e07530b214c922ff6a17c5bb34.zip | |
Use the `-duplicate` option rather than `-save` and `-load` with an explicit name.
Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'passes/sat/qbfsat.cc')
| -rw-r--r-- | passes/sat/qbfsat.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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) |