Merge branch 'udpor-phase3' into 'master'

[simgrid.git] / src / mc / explo / Exploration.cpp

diff --git a/src/mc/explo/Exploration.cpp b/src/mc/explo/Exploration.cpp
index d50266c2dce7a3f706c9aae2e1b738e7a5a3dfd0..6145ec384f383b0629d1c79b9b61671dbc5bbbec 100644 (file)
--- a/src/mc/explo/Exploration.cpp
+++ b/src/mc/explo/Exploration.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2016-2022. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2016-2023. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -19,8 +19,8 @@ Exploration::Exploration(const std::vector<char*>& args) : remote_app_(std::make
 void Exploration::log_state()
 {
   if (not _sg_mc_dot_output_file.get().empty()) {
-    fprintf(dot_output, "}\n");
-    fclose(dot_output);
+    mc_model_checker->dot_output("}\n");
+    mc_model_checker->dot_output_close();
   }
   if (getenv("SIMGRID_MC_SYSTEM_STATISTICS")) {
     int ret = system("free");