Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Constify pointer and reference parameters in src/mc/.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 28 Dec 2019 13:11:19 +0000 (14:11 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 28 Dec 2019 20:48:19 +0000 (21:48 +0100)
commitac9197eec3a25524040ce2f55021ba590788c3a3
tree0697bebb6f3d2339d0595c30e3bf955ab19c729b
parentbf5d9a3ed276303ac434aaeb44f406c2b7dcdb90
[sonar] Constify pointer and reference parameters in src/mc/.
33 files changed:
src/include/mc/mc.h
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/VisitedState.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
src/mc/compare.cpp
src/mc/inspect/LocationList.cpp
src/mc/inspect/LocationList.hpp
src/mc/inspect/ObjectInformation.hpp
src/mc/inspect/mc_dwarf.cpp
src/mc/inspect/mc_dwarf.hpp
src/mc/inspect/mc_member.cpp
src/mc/mc_base.cpp
src/mc/mc_base.h
src/mc/mc_comm_pattern.hpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp
src/mc/mc_smx.cpp
src/mc/mc_state.hpp
src/mc/remote/Client.cpp
src/mc/remote/Client.hpp
src/mc/sosp/ChunkedData.cpp
src/mc/sosp/ChunkedData.hpp
src/mc/sosp/PageStore.cpp
src/mc/sosp/PageStore.hpp
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
src/mc/sosp/Snapshot.cpp