Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix more sonar things
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 09:46:45 +0000 (10:46 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 09:52:48 +0000 (10:52 +0100)
commitaa576b45d018550ef50e0bfe44b2be657cb87d6f
treebf895025af97b44837333bc04a1b39f87fdf44fb
parentd236809e6149a03ef3e53599458f51c98f79f94d
Fix more sonar things
examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/api/State.cpp
src/mc/api/Transition.cpp
src/mc/compare.cpp
src/mc/mc_hash.cpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp