From a2f1d16195ebdb7f891212f3e210e0889eb83c21 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 11 Apr 2017 01:21:38 +0200 Subject: [PATCH] typos --- src/mc/checker/SafetyChecker.cpp | 2 +- src/mc/mc_request.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index d81492c80e..ca58cfc68c 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -248,7 +248,7 @@ void SafetyChecker::backtrack() } else { const smx_actor_t previous_issuer = MC_smx_simcall_get_issuer(&prev_state->internal_req); - XBT_DEBUG("Simcall %d, process %lu (state %d) and simcall %d, process %lu (state %d) are independant", + XBT_DEBUG("Simcall %d, process %lu (state %d) and simcall %d, process %lu (state %d) are independent", req->call, issuer->pid, state->num, prev_state->internal_req.call, previous_issuer->pid, diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 056aa0b35b..1d3b8c6b10 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -142,7 +142,7 @@ bool request_depend(smx_simcall_t r1, smx_simcall_t r2) if (r1->issuer == r2->issuer) return false; - /* Wait with timeout transitions are not considered by the independence theorem, thus we consider them as dependant with all other transitions */ + /* Wait with timeout transitions are not considered by the independence theorem, thus we consider them as dependent with all other transitions */ if ((r1->call == SIMCALL_COMM_WAIT && simcall_comm_wait__get__timeout(r1) > 0) || (r2->call == SIMCALL_COMM_WAIT && simcall_comm_wait__get__timeout(r2) > 0)) -- 2.20.1