Add rewrite_filename for sim -vcd argument.

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 75f922dba2ef761b63fefec0bacdf4eb02edfb55..3ba66bd33cc080e55feb81ff4ed3ec08683c7e9a 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -810,7 +810,9 @@ struct SimPass : public Pass {
                size_t argidx;
                for (argidx = 1; argidx < args.size(); argidx++) {
                        if (args[argidx] == "-vcd" && argidx+1 < args.size()) {
-                               worker.vcdfile.open(args[++argidx].c_str());
+                               std::string vcd_filename = args[++argidx];
+                               rewrite_filename(vcd_filename);
+                               worker.vcdfile.open(vcd_filename.c_str());
                                continue;
                        }
                        if (args[argidx] == "-n" && argidx+1 < args.size()) {