diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-22 14:40:55 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-22 14:40:55 -0700 |
| commit | 4ddc0354c1cc61f2e2b3f15cc341fd277c710e89 (patch) | |
| tree | e93f687e469eb7f2f97bf79d113f03a66c878698 /passes/sat | |
| parent | 545cfbbe0dcc36f18dce6429498f4d87112879e2 (diff) | |
| parent | fb8fab4a29e5a3978cadf2b1bd8920b772150028 (diff) | |
| download | yosys-4ddc0354c1cc61f2e2b3f15cc341fd277c710e89.tar.gz yosys-4ddc0354c1cc61f2e2b3f15cc341fd277c710e89.tar.bz2 yosys-4ddc0354c1cc61f2e2b3f15cc341fd277c710e89.zip | |
Merge remote-tracking branch 'origin/master' into eddie/muxpack
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index cbba738f0..e4654d835 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -659,6 +659,7 @@ struct SatHelper void dump_model_to_vcd(std::string vcd_file_name) { + rewrite_filename(vcd_file_name); FILE *f = fopen(vcd_file_name.c_str(), "w"); if (!f) log_cmd_error("Can't open output file `%s' for writing: %s\n", vcd_file_name.c_str(), strerror(errno)); @@ -761,6 +762,7 @@ struct SatHelper void dump_model_to_json(std::string json_file_name) { + rewrite_filename(json_file_name); FILE *f = fopen(json_file_name.c_str(), "w"); if (!f) log_cmd_error("Can't open output file `%s' for writing: %s\n", json_file_name.c_str(), strerror(errno)); @@ -1505,6 +1507,7 @@ struct SatPass : public Pass { { if (!cnf_file_name.empty()) { + rewrite_filename(cnf_file_name); FILE *f = fopen(cnf_file_name.c_str(), "w"); if (!f) log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno)); @@ -1608,6 +1611,7 @@ struct SatPass : public Pass { if (!cnf_file_name.empty()) { + rewrite_filename(cnf_file_name); FILE *f = fopen(cnf_file_name.c_str(), "w"); if (!f) log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno)); |