- if (MC_is_active() && !prop)
- simgrid::mc::Client::get()->reportAssertionFailure();
-}
-
-void MC_cut(void)
-{
- // 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_mode != MC_MODE_SERVER);
- if (mc_mode != MC_MODE_CLIENT)
- return;
- simgrid::mc::Client::get()->ignoreMemory(addr, size);
+ xbt_assert(mc_model_checker == nullptr);
+ if (not prop) {
+ if (MC_is_active())
+ simgrid::mc::AppSide::get()->report_assertion_failure();
+ if (MC_record_replay_is_active())
+ xbt_die("MC assertion failed");
+ }