fix tm option for master

HydLa · Apr 16, 2023 · 0709974 · 0709974
1 parent 674af17
commit 0709974
Showing 1 changed file with 14 additions and 11 deletions.
diff --git a/src/core/symbolic_simulate.cpp b/src/core/symbolic_simulate.cpp
@@ -114,19 +114,22 @@ void output_result(Simulator &ss, Opts &opts) {
     writer.write(*simulator_, of_name, input_file_name + "_diff");
   }
 
-  if (cmdline_options.get<std::vector<string>>("tm").at(0) == "s") {
-    hydla::io::StdProfilePrinter().print_profile(ss.get_profile());
-  } else if (cmdline_options.get<std::vector<string>>("tm").at(0) == "c") {
-    std::string csv_name = cmdline_options.get<std::vector<string>>("tm").at(1);
-    if (csv_name == "") {
-      hydla::io::CsvProfilePrinter().print_profile(ss.get_profile());
-    } else {
-      std::ofstream ofs;
-      ofs.open(csv_name.c_str());
-      hydla::io::CsvProfilePrinter(ofs).print_profile(ss.get_profile());
-      ofs.close();
+  if (not is_master()) {
+    if (cmdline_options.get<std::vector<string>>("tm").at(0) == "s") {
+      hydla::io::StdProfilePrinter().print_profile(ss.get_profile());
+    } else if (cmdline_options.get<std::vector<string>>("tm").at(0) == "c") {
+      std::string csv_name = cmdline_options.get<std::vector<string>>("tm").at(1);
+      if (csv_name == "") {
+        hydla::io::CsvProfilePrinter().print_profile(ss.get_profile());
+      } else {
+        std::ofstream ofs;
+        ofs.open(csv_name.c_str());
+        hydla::io::CsvProfilePrinter(ofs).print_profile(ss.get_profile());
+        ofs.close();
+      }
     }
   }
+
 }
 
 void trim_front_and_behind_space(std::string &buffer) {