[mc] Remove soft dirty page tracking

[simgrid.git] / src / mc / mc_model_checker.cpp

diff --git a/src/mc/mc_model_checker.cpp b/src/mc/mc_model_checker.cpp
index 45b13b2..96a9888 100644 (file)
--- a/src/mc/mc_model_checker.cpp
+++ b/src/mc/mc_model_checker.cpp
@@ -16,7 +16,6 @@ mc_model_checker_t MC_model_checker_new(pid_t pid, int socket)
   mc_model_checker_t mc = xbt_new0(s_mc_model_checker_t, 1);
   mc->pages = mc_pages_store_new();
   mc->fd_clear_refs = -1;
-  mc->fd_pagemap = -1;
   MC_process_init(&mc->process, pid, socket);
   mc->hosts = xbt_dict_new();
   return mc;
@@ -33,9 +32,6 @@ void MC_model_checker_delete(mc_model_checker_t mc)
 
 unsigned long MC_smx_get_maxpid(void)
 {
-  if (mc_mode == MC_MODE_STANDALONE)
-    return simix_process_maxpid;
-
   unsigned long maxpid;
   MC_process_read_variable(&mc_model_checker->process, "simix_process_maxpid",
     &maxpid, sizeof(maxpid));