Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Convert simgrid::mc::snapshot_equal() into Snapshot::operator==()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 22:33:02 +0000 (00:33 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 22:33:06 +0000 (00:33 +0200)
commita2b07e1db97dbd4d8acb6c83de13d2e9449520e1
treefd8852eb2745abe4da56a6c280a4e14927c99942
parent18f3ec7b57418d4881c22646dfbb991ac6f9b7a7
Convert simgrid::mc::snapshot_equal() into Snapshot::operator==()

Also inline 2 more functions from mc::api
src/mc/VisitedState.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/api/State.cpp
src/mc/compare.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/sosp/Snapshot.hpp