Summary
- Fix some sonar warnings and errors (details)
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 |