A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
please codacy: use long form of negation in C++
[simgrid.git]
/
src
/
mc
/
remote
/
Client.cpp
diff --git
a/src/mc/remote/Client.cpp
b/src/mc/remote/Client.cpp
index
b4a8aed
..
cd4a2c3
100644
(file)
--- a/
src/mc/remote/Client.cpp
+++ b/
src/mc/remote/Client.cpp
@@
-39,7
+39,7
@@
Client* Client::initialize()
{
// We are not in MC mode:
// TODO, handle this more gracefully.
- if (
!
std::getenv(MC_ENV_SOCKET_FD))
+ if (
not
std::getenv(MC_ENV_SOCKET_FD))
return nullptr;
// Do not break if we are called multiple times:
@@
-50,7
+50,7
@@
Client* Client::initialize()
// Fetch socket from MC_ENV_SOCKET_FD:
char* fd_env = std::getenv(MC_ENV_SOCKET_FD);
- if (
!
fd_env)
+ if (
not
fd_env)
xbt_die("No MC socket passed in the environment");
int fd =
xbt_str_parse_int(fd_env, bprintf("Variable %s should contain a number but contains '%%s'", MC_ENV_SOCKET_FD));
@@
-103,7
+103,7
@@
void Client::handleMessages()
case MC_MESSAGE_DEADLOCK_CHECK: {
// Check deadlock:
bool deadlock = false;
- if (
!
simix_global->process_list.empty()) {
+ if (
not
simix_global->process_list.empty()) {
deadlock = true;
for (auto kv : simix_global->process_list)
if (simgrid::mc::actor_is_enabled(kv.second)) {
@@
-128,7
+128,7
@@
void Client::handleMessages()
xbt_die("Unexpected size for SIMCALL_HANDLE");
memcpy(&message, message_buffer, sizeof(message));
smx_actor_t process = SIMIX_process_from_PID(message.pid);
- if (
!
process)
+ if (
not
process)
xbt_die("Invalid pid %lu", (unsigned long)message.pid);
SIMIX_simcall_handle(&process->simcall, message.value);
if (channel_.send(MC_MESSAGE_WAITING))