Skip to content
Success

Changes

Summary

  1. Fix some sonar warnings and errors (details)
Commit 549383815d5d377c8dde75df54179d846a751abd by Martin Quinson
Fix some sonar warnings and errors
The file was modified examples/python/mc-centralized-mutex/mc-centralized-mutex.py
The file was modified src/kernel/actor/CommObserver.cpp
The file was modified src/mc/explo/Exploration.cpp
The file was modified examples/python/mc-failing-assert/mc-failing-assert.py
The file was modified src/mc/remote/AppSide.cpp
The file was modified src/kernel/activity/ConditionVariableImpl.hpp