Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix some easy sonar smells
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 22:04:28 +0000 (23:04 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 22:04:33 +0000 (23:04 +0100)
commit026045c5de7c9b574fc67c8b11a3cf64a35c3109
treeb952ce59cc2e704d24486824fcef73afc60a70a6
parentc36714de466414e9e0ca8d78863efc0a43632a82
Fix some easy sonar smells

const-ness, try_emplace, attribute noreturn, ...

The most important one is the TransitionObjectAccess one, where a
field in the subclass was hiding a field of the same name in the
superclass. Maybe the bug I was experiencing in that area was related.
src/mc/api/RemoteApp.cpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/Exploration.cpp
src/mc/explo/Exploration.hpp
src/mc/remote/CheckerSide.cpp
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
src/mc/sosp/Snapshot_test.cpp
src/mc/transition/TransitionObjectAccess.cpp
src/mc/transition/TransitionObjectAccess.hpp