-void RemoteApp::log_state() const
-{
- model_checker_->get_exploration()->log_state();
-
- if (not _sg_mc_dot_output_file.get().empty()) {
- fprintf(dot_output, "}\n");
- fclose(dot_output);
- }
- if (getenv("SIMGRID_MC_SYSTEM_STATISTICS")) {
- int ret = system("free");
- if (ret != 0)
- XBT_WARN("Call to system(free) did not return 0, but %d", ret);
- }
-}
-
-void RemoteApp::close()