/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "mc/mc.h"
#include "simgrid/Exception.hpp"
#include "simgrid/plugins/file_system.h"
#include "simgrid/s4u/Engine.hpp"
#include "smpi_host.hpp"
#include "src/kernel/EngineImpl.hpp"
#include "src/kernel/activity/CommImpl.hpp"
+#include "src/mc/mc.h"
#include "src/mc/mc_replay.hpp"
#include "src/smpi/include/smpi_actor.hpp"
#include "xbt/config.hpp"
#endif
#if HAVE_PAPI
-#include "papi.h"
+#include <papi.h>
#endif
#if not defined(__APPLE__) && not defined(__HAIKU__)
* configuration tools */
return 0;
}
+ if (argv[0] == std::string("--help-coll")) {
+ std::cerr << simgrid::smpi::colls::get_smpi_coll_help();
+ return 0;
+ }
smpi_init_options_internal(true);
simgrid::s4u::Engine engine(&argc, argv);
engine.load_platform(argv[1]);
engine.set_default_comm_data_copy_callback(smpi_comm_copy_buffer_callback);
+ xbt_assert(not MC_is_active() || smpi_cfg_privatization() != SmpiPrivStrategies::MMAP,
+ "Please use the dlopen privatization schema when model-checking SMPI code");
+
if (smpi_cfg_privatization() == SmpiPrivStrategies::DLOPEN)
smpi_init_privatization_dlopen(executable);
else