#include <simgrid/modelchecker.h>
#include <simgrid/s4u.hpp>
-#define N 3
+constexpr int N = 3;
XBT_LOG_NEW_DEFAULT_CATEGORY(example, "this example");
static void client(int id)
{
- int* payload = new int();
- *payload = id;
+ auto* payload = new int(id);
simgrid::s4u::Mailbox::by_name("mymailbox")->put(payload, 10000);
XBT_INFO("Sent!");