-/* Copyright (c) 2008-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2008-2019. The SimGrid Team. All rights reserved. */
/* 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 "xbt/config.h"
+#include "xbt/config.hpp"
#include "xbt/log.h"
#include <xbt/sysdep.h>
}
/* Replay (this part is enabled even if MC it disabled) */
-static simgrid::config::Flag<std::string> _sg_mc_record_path{
- "model-check/replay", "Model-check path to replay (as reported by SimGrid when a violation is reported)", "",
- [](const std::string& value) { MC_record_path = value; }};
+simgrid::config::Flag<std::string> _sg_mc_record_path{
+ "model-check/replay", "Model-check path to replay (as reported by SimGrid when a violation is reported)", ""};
simgrid::config::Flag<bool> _sg_mc_timeout{
"model-check/timeout", "Whether to enable timeouts for wait requests", false,