further simplify the MC initialization

[simgrid.git] / src / mc / checker / simgrid_mc.cpp

diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index d8544e54767cef11d802a3e32aff15e81e352448..ff0fda63530abdb59a5c01f892a754851f9d1120 100644 (file)
--- a/src/mc/checker/simgrid_mc.cpp
+++ b/src/mc/checker/simgrid_mc.cpp
@@ -61,6 +61,7 @@ int main(int argc, char** argv)
     xbt_assert(argv_copy[i] != nullptr,
                "Unable to find a binary to exec on the command line. Did you only pass config flags?");
     execvp(argv_copy[i], argv_copy + i);
+    xbt_die("The model-checked process failed to exec(): %s", strerror(errno));
   });
   delete[] argv_copy;