Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use typed Mailbox::get<>() instead of using static_cast everywhere.
[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.cpp
index c248790..56c0603 100644 (file)
@@ -31,11 +31,11 @@ static int receiver(const char* box_name)
   auto mb = simgrid::s4u::Mailbox::by_name(box_name);
   const int* payload;
 
-  payload = static_cast<int*>(mb->get());
+  payload = mb->get<int>();
   MC_assert(*payload == 1);
   delete payload;
 
-  payload = static_cast<int*>(mb->get());
+  payload = mb->get<int>();
   MC_assert(*payload == 2);
   delete payload;