- 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;
- if (simgrid::mc::Client::get()->getChannel().send(message))
- xbt_die("Could send REGISTER_SYMBOL message to model-checker");
+void MC_unignore_heap(void* address, size_t size)
+{
+#if SIMGRID_HAVE_STATEFUL_MC
+ xbt_assert(get_model_checking_mode() != ModelCheckingMode::CHECKER_SIDE,
+ "This should be called from the client side");
+ if (MC_is_active())
+ AppSide::get()->unignore_heap(address, size);
+#endif