Modernize simcall mutex_lock.

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

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 681ec49..4ff1ec0 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -810,22 +810,6 @@ std::string Api::request_to_string(smx_simcall_t req, int value) const
       }
       break;
 
-    case Simcall::MUTEX_LOCK: {
-      type = "Mutex LOCK";
-      simgrid::mc::Remote<simgrid::kernel::activity::MutexImpl> mutex;
-      mc_model_checker->get_remote_simulation().read_bytes(mutex.get_buffer(), sizeof(mutex),
-                                                           remote(simcall_mutex_lock__get__mutex(req)));
-      args = "locked = " + std::to_string(mutex.get_buffer()->is_locked()) + ", owner = ";
-      if (mutex.get_buffer()->get_owner() != nullptr)
-        args += std::to_string(mc_model_checker->get_remote_simulation()
-                                   .resolve_actor(simgrid::mc::remote(mutex.get_buffer()->get_owner()))
-                                   ->get_pid());
-      else
-        args += "-1";
-      args += ", sleeping = n/a";
-      break;
-    }
-
     default:
       type = SIMIX_simcall_name(req->call_);
       args = "??";
@@ -902,10 +886,6 @@ std::string Api::request_get_dot_output(smx_simcall_t req, int value) const
         }
         break;
 
-      case Simcall::MUTEX_LOCK:
-        label = "[" + get_actor_dot_label(issuer) + "] Mutex LOCK";
-        break;
-
       default:
         THROW_UNIMPLEMENTED;
     }