+void MC_ignore_heap(void *address, size_t size)
+{
+ xbt_assert(mc_model_checker == nullptr);
+ if (not MC_is_active())
+ return;
+ simgrid::mc::Client::get()->ignoreHeap(address, size);
+}
+
+void MC_remove_ignore_heap(void *address, size_t size)
+{
+ xbt_assert(mc_model_checker == nullptr);
+ if (not MC_is_active())
+ return;
+ simgrid::mc::Client::get()->unignoreHeap(address, size);