Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move 2 functions from mc::ModelChecker to mc::RemoteApp
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 21:57:25 +0000 (22:57 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 21:57:25 +0000 (22:57 +0100)
commitca7c3dad3ba4bf984682f19d82c4daf9d7db0962
treecf9a9b4e4e02247e464945e2f3718adf0f318f0a
parenta21b003b5b98e872795341d7f8c756938e10b0d0
Move 2 functions from mc::ModelChecker to mc::RemoteApp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/DFSExplorer.cpp