#include "xbt/string.hpp"
#include <cstdint>
+#include <inttypes.h>
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_comm_determinism, mc, "Logging specific to MC communication determinism detection");
XBT_DEBUG("********* Start communication determinism verification *********");
- auto* base = new DFSExplorer(args, mode, true);
+ auto* base = new DFSExplorer(args, mode);
auto* extension = new CommDetExtension(*base);
DFSExplorer::on_exploration_start([extension](RemoteApp const&) {