- xbt_assert(mc_mode != MC_MODE_SERVER);
- if (mc_mode != MC_MODE_CLIENT)
- return;
-
- s_mc_register_symbol_message_t message;
- message.type = MC_MESSAGE_REGISTER_SYMBOL;
- if (strlen(name) + 1 > sizeof(message.name))
- xbt_die("Symbol is too long");
- strncpy(message.name, name, sizeof(message.name));
- message.callback = nullptr;
- message.data = value;
- MC_client_send_message(&message, sizeof(message));
-}
-
+#if SIMGRID_HAVE_MC
+ xbt_assert(mc_model_checker == nullptr);
+ simgrid::mc::AppSide::get()->unignore_heap(address, size);
+#endif