- if (MC_is_active() && not prop)
- simgrid::mc::Client::get()->reportAssertionFailure();
-}
-
-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");
+ 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");
+ }