From 77a41b7646e3b7f3e278940e64a06c6bfa08c73f Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 26 Oct 2020 11:58:32 +0100 Subject: [PATCH] Correctly set result for simcall_cond_wait_timeout. --- src/kernel/activity/ConditionVariableImpl.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/kernel/activity/ConditionVariableImpl.cpp b/src/kernel/activity/ConditionVariableImpl.cpp index 1ec77be538..fdc1def05a 100644 --- a/src/kernel/activity/ConditionVariableImpl.cpp +++ b/src/kernel/activity/ConditionVariableImpl.cpp @@ -21,6 +21,7 @@ void simcall_HANDLER_cond_wait(smx_simcall_t simcall, smx_cond_t cond, smx_mutex /** @brief Handle a condition waiting simcall with timeouts */ void simcall_HANDLER_cond_wait_timeout(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mutex, double timeout) { + simcall_cond_wait_timeout__set__result(simcall, 0); // default result, will be set to 1 on timeout cond->wait(mutex, timeout, simcall->issuer_); } -- 2.20.1