Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix most of the remaining code warnings
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 27 Feb 2023 08:20:49 +0000 (09:20 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 27 Feb 2023 08:24:17 +0000 (09:24 +0100)
commitb54403a768353ed64e0b4f4b5afcc89933f585f4
treefe37aeb37d4c723256db2c81487e78e8dd91a9c1
parentee0e9491408f6eef33bdd6b729e45d483ba2e859
Fix most of the remaining code warnings

This commit fixes the majority of the code
warnings pointed out by SonarSource. There
are some others that will disappear with other
phases once e.g. the functions in UdporChecker
are actually implemented
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration_test.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/EventSet_test.cpp
src/mc/explo/udpor/History.cpp
src/mc/explo/udpor/History_test.cpp