#include "src/smpi/include/private.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_Session, mc, "Model-checker session");
-extern std::string _sg_mc_dot_output_file;
namespace simgrid {
namespace mc {
{
mc_model_checker->getChecker()->logState();
- if (not _sg_mc_dot_output_file.empty()) {
+ if (not _sg_mc_dot_output_file.get().empty()) {
fprintf(dot_output, "}\n");
fclose(dot_output);
}