mc_assert() deleted

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index 1934dbb..e4b98cd 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -82,14 +82,6 @@ smx_actor_t mc_api::mc_smx_simcall_get_issuer(s_smx_simcall const* req) const
   return MC_smx_simcall_get_issuer(req);
 }
 
-void mc_api::mc_assert(bool notNull, const char* message) const
-{
-  if (notNull)
-    xbt_assert(mc_model_checker == nullptr, message);
-  else
-    xbt_assert(mc_model_checker != nullptr, message);
-}
-
 bool mc_api::mc_is_null() const
 {
   auto is_null = (mc_model_checker == nullptr) ? true : false;

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index ce89c9f..be1f107 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -51,7 +51,6 @@ public:
   bool mc_check_deadlock() const;
   void mc_show_deadlock() const;
   smx_actor_t mc_smx_simcall_get_issuer(s_smx_simcall const* req) const;
-  void mc_assert(bool notNull, const char* message = "") const;
   bool mc_is_null() const;
   Checker* mc_get_checker() const;
   RemoteSimulation& mc_get_remote_simulation() const;