Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove some more usage of mc_model_checker in Region and snapshoting logic
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 09:58:20 +0000 (10:58 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 11:01:48 +0000 (12:01 +0100)
commitdb93bfcc458411f563c4cb4569a6ef26e6f710e8
tree6b3d998318425369024b2c3a1944a9dbb338d2cb
parent8b8f538a38613e833acaf7366f7dcf84526f23a2
Remove some more usage of mc_model_checker in Region and snapshoting logic
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp
src/mc/sosp/Snapshot_test.cpp