[mc] Remove remaining bits of parmap in MC (not used)

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 6ff138a..4489b84 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -118,9 +118,6 @@ void ModelChecker::start()
   if ((_sg_mc_dot_output_file != nullptr) && (_sg_mc_dot_output_file[0] != '\0'))
     MC_init_dot_output();
 
   if ((_sg_mc_dot_output_file != nullptr) && (_sg_mc_dot_output_file[0] != '\0'))
     MC_init_dot_output();
 

-  /* Init parmap */
-  //parmap = xbt_parmap_mc_new(xbt_os_get_numcores(), XBT_PARMAP_DEFAULT);
-

   setup_ignore();
 
   ptrace(PTRACE_SETOPTIONS, pid, nullptr, PTRACE_O_TRACEEXIT);
   setup_ignore();
 
   ptrace(PTRACE_SETOPTIONS, pid, nullptr, PTRACE_O_TRACEEXIT);

diff --git a/src/mc/mc_liveness.cpp b/src/mc/mc_liveness.cpp
index bce2296..c9202f5 100644 (file)
--- a/src/mc/mc_liveness.cpp
+++ b/src/mc/mc_liveness.cpp
@@ -13,7 +13,6 @@
 #include <xbt/dynar.h>
 #include <xbt/fifo.h>
 #include <xbt/log.h>
 #include <xbt/dynar.h>
 #include <xbt/fifo.h>
 #include <xbt/log.h>

-#include <xbt/parmap.h>

 #include <xbt/sysdep.h>
 
 #include "src/mc/mc_request.h"
 #include <xbt/sysdep.h>
 
 #include "src/mc/mc_request.h"


@@ -32,7 +31,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
 /********* Global variables *********/
 
 xbt_dynar_t acceptance_pairs;
 /********* Global variables *********/
 
 xbt_dynar_t acceptance_pairs;

-xbt_parmap_t parmap;

 
 /********* Static functions *********/
 
 
 /********* Static functions *********/
 

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 24548e0..189e52f 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -21,7 +21,6 @@
 #include <simgrid/msg.h>
 #include <xbt/fifo.h>
 #include <xbt/config.h>
 #include <simgrid/msg.h>
 #include <xbt/fifo.h>
 #include <xbt/config.h>

-#include <xbt/parmap.h>

 #include <xbt/base.h>
 
 #include "mc/mc.h"
 #include <xbt/base.h>
 
 #include "mc/mc.h"


@@ -46,7 +45,6 @@ XBT_PRIVATE void MC_init_dot_output();
 
 XBT_PRIVATE extern FILE *dot_output;
 XBT_PRIVATE extern const char* colors[13];
 
 XBT_PRIVATE extern FILE *dot_output;
 XBT_PRIVATE extern const char* colors[13];

-XBT_PRIVATE extern xbt_parmap_t parmap;

 
 XBT_PRIVATE extern int user_max_depth_reached;
 
 
 XBT_PRIVATE extern int user_max_depth_reached;