Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove useless asserts
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 15:05:12 +0000 (16:05 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 15:10:08 +0000 (16:10 +0100)
src/mc/Process.cpp
src/mc/mc_smx.cpp

index 184fd06..33eb201 100644 (file)
@@ -257,7 +257,6 @@ Process::~Process()
  */
 void Process::refresh_heap()
 {
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   // Read/dereference/refresh the std_heap pointer:
   if (!this->heap)
     this->heap = std::unique_ptr<s_xbt_mheap_t>(new s_xbt_mheap_t());
@@ -273,7 +272,6 @@ void Process::refresh_heap()
  * */
 void Process::refresh_malloc_info()
 {
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   // Refresh process->heapinfo:
   if (this->cache_flags_ & Process::cache_malloc)
     return;
@@ -673,14 +671,12 @@ void Process::ignore_local_variable(const char *var_name, const char *frame_name
 
 std::vector<simgrid::mc::SimixProcessInformation>& Process::simix_processes()
 {
-  xbt_assert(mc_mode != MC_MODE_CLIENT);
   this->refresh_simix();
   return smx_process_infos;
 }
 
 std::vector<simgrid::mc::SimixProcessInformation>& Process::old_simix_processes()
 {
-  xbt_assert(mc_mode != MC_MODE_CLIENT);
   this->refresh_simix();
   return smx_old_process_infos;
 }
index 78f86fe..c10d758 100644 (file)
@@ -76,7 +76,6 @@ namespace mc {
 
 void Process::refresh_simix()
 {
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   if (this->cache_flags_ & Process::cache_simix_processes)
     return;