#include <boost/range/algorithm.hpp>
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include "src/simix/smx_private.h"
#include "src/mc/mc_state.h"
state->transition.argument = -1;
state->executed_req.call = SIMCALL_NONE;
- if (!procstate->isTodo())
+ if (not procstate->isTodo())
return nullptr; // Not considered by the checker algorithm
- if (!simgrid::mc::actor_is_enabled(actor))
+ if (not simgrid::mc::actor_is_enabled(actor))
return nullptr; // Not executable in the application
smx_simcall_t req = nullptr;
req = &actor->simcall;
break;
}
- if (!req)
+ if (not req)
return nullptr;
state->transition.pid = actor->pid;
smx_simcall_t MC_state_get_request(simgrid::mc::State* state)
{
- for (const auto& actor : mc_model_checker->process().actors()) {
+ for (auto& actor : mc_model_checker->process().actors()) {
smx_simcall_t res = MC_state_get_request_for_process(state, actor.copy.getBuffer());
if (res)
return res;