Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Pointer and reference should be "const" if the corresponding object is not modified...
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Apr 2023 13:26:28 +0000 (15:26 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Apr 2023 13:26:28 +0000 (15:26 +0200)
commit81d745edc70528272b07a8dd9f8096579e0c0250
tree755c779237dd985a7ef29291e2a8e025791db644
parent3f5317361706794cfcfcb0ed2d030f1b5697ff95
Pointer and reference should be "const" if the corresponding object is not modified (sonar).
src/mc/api/State.cpp
src/mc/api/strategy/WaitStrategy.hpp
src/mc/inspect/mc_unw.cpp
src/mc/inspect/mc_unw.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp