-/* Copyright (c) 2008-2021. The SimGrid Team.
+/* Copyright (c) 2008-2022. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
}
}
-void MC_cut()
-{
- xbt_assert(mc_model_checker == nullptr);
- if (not MC_is_active())
- return;
- // FIXME, We want to do this in the model-checker:
- xbt_die("MC_cut() not implemented");
-}
-
void MC_ignore(void* addr, size_t size)
{
xbt_assert(mc_model_checker == nullptr);