fix: save SOG also when the abstract paths are generated

src/main.cpp

@@ -81,6 +81,16 @@ void PrintStats(const Paths& abstract_paths) {
   cout << "# covered transitions: " << transitions.size() << '\n';
 }
 
+/**
+ * Save the generated SOG in a file
+ * @param sog SOG graph
+ * @param sog_file Path to the file where the SOG will be saved
+ */
+void SaveSOG(const SOG& sog, const string& sog_file) {
+  cout << "Saving generated SOG in " << sog_file << '\n';
+  sog.ExportGraphToDotFile(sog_file);
+}
+
 /**
  * Prints the output of the tool
  * @param model Petri net model
@@ -105,6 +115,9 @@ void PrintOutput(const net& model, SOG& sog,
 
   // save observable paths in the folder
   SaveObservablePaths(obs_paths, output_file_prefix + "_obs_paths.txt");
+
+  // save generate SOG
+  SaveSOG(sog, output_file_prefix + "_sog.dot");
 }
 
 /**
@@ -247,9 +260,7 @@ void ComputeAbstractPaths(const string& net_file, int bound, bool only_sog,
     cout << "\nTotal time: " << elapsed_time << " seconds\n";
 
     // save generate SOG
-    const string sog_file = output_file_prefix + "_sog.dot";
-    cout << "Saving generated SOG in " << sog_file << '\n';
-    sog.ExportGraphToDotFile(sog_file);
+    SaveSOG(sog, output_file_prefix + "_sog.dot");
     return;
   }