src/mc/explo/Exploration.cpp

   1 /* Copyright (c) 2016-2022. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include "src/mc/explo/Exploration.hpp"
   7 #include "src/mc/mc_config.hpp"
   8 #include "src/mc/mc_private.hpp"
   9
  10 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_explo, mc, "Generic exploration algorithm of the model-checker");
  11
  12 namespace simgrid::mc {
  13
  14 void Exploration::log_state()
  15 {
  16   if (not _sg_mc_dot_output_file.get().empty()) {
  17     fprintf(dot_output, "}\n");
  18     fclose(dot_output);
  19   }
  20   if (getenv("SIMGRID_MC_SYSTEM_STATISTICS")) {
  21     int ret = system("free");
  22     if (ret != 0)
  23       XBT_WARN("Call to system(free) did not return 0, but %d", ret);
  24   }
  25 }
  26
  27 }; // namespace simgrid::mc