#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;