Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix: "std::move" should only be used where moving can happen (Sonar).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 28 Jun 2023 17:11:01 +0000 (19:11 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 28 Jun 2023 17:22:24 +0000 (19:22 +0200)
commit2938350ef873d235860bee051062edcfd2596da6
tree5b80593afe0e997a2f55e99a16cc1fdc0995ff9a
parent11481ec0686375a53d1096d9886ad258dfbfc4b1
Fix: "std::move" should only be used where moving can happen (Sonar).
src/mc/explo/DFSExplorer.cpp
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/WakeupTree.cpp
src/mc/explo/udpor/ExtensionSetCalculator.cpp
src/mc/explo/udpor/ExtensionSetCalculator.hpp
src/mc/explo/udpor/maximal_subsets_iterator.cpp