XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc, "Logging specific to MC (global)");
-e_mc_mode_t mc_mode;
-
namespace simgrid {
namespace mc {
FILE *dot_output = nullptr;
-/******************************* Initialisation of MC *******************************/
+/******************************* Initialization of MC *******************************/
/*********************************************************************************/
void MC_init_dot_output()
int status;
- // Demangle C++ names:
+ // Unmangle C++ names:
char* realname = abi::__cxa_demangle(name, 0, 0, &status);
#if defined(__x86_64__)