- if (mc_mode == MC_MODE_CLIENT) {
- s_mc_ignore_memory_message_t message;
- message.type = MC_MESSAGE_IGNORE_MEMORY;
- message.addr = addr;
- message.size = size;
- MC_client_send_message(&message, sizeof(message));
- }
-
- // TODO, remove this once the migration has been completed
- xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);
- MC_process_ignore_memory(&mc_model_checker->process, addr, size);
- mmalloc_set_current_heap(heap);
+ if (mc_mode != MC_MODE_CLIENT)
+ return;
+ simgrid::mc::Client::get()->ignoreHeap(address, size);