X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/22e6546d2c6f14864cc93c4ed1470d8e8c1e2d95..17404896a6c566afdcdd0034884f234566b1d452:/src/mc/mc_base.cpp diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index 429a995061..b525f40b24 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -1,17 +1,22 @@ -/* Copyright (c) 2008-2017. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2008-2018. 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 +#include #include "mc/mc.h" #include "src/mc/mc_base.h" -#include "src/mc/mc_replay.h" +#include "src/mc/mc_config.hpp" +#include "src/mc/mc_forward.hpp" +#include "src/mc/mc_replay.hpp" #include "src/simix/smx_private.hpp" +#include "src/kernel/activity/MutexImpl.hpp" + #if SIMGRID_HAVE_MC #include "src/mc/ModelChecker.hpp" +#include "src/mc/remote/RemoteClient.hpp" using simgrid::mc::remote; #endif @@ -175,7 +180,7 @@ static int prng_random(int min, int max) int simcall_HANDLER_mc_random(smx_simcall_t simcall, int min, int max) { - if (not MC_is_active() && not MC_record_path) + if (not MC_is_active() && MC_record_path.empty()) return prng_random(min, max); return simcall->mc_value; }