Add a few more filename rewrites

[yosys.git] / passes / sat / sat.cc

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 695a03e15fadd108717e9bdc8ec64f3ad7f00b9d..e4654d83549383dca604b774b74a1539ce2df3f8 100644 (file)
--- 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));
@@ -1169,6 +1171,7 @@ struct SatPass : public Pass {
                        if (args[argidx] == "-tempinduct-def") {
                                tempinduct = true;
                                tempinduct_def = true;
+                               enable_undef = true;
                                continue;
                        }
                        if (args[argidx] == "-tempinduct-baseonly") {
@@ -1504,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));
@@ -1607,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));