Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add ModelChecker::finalize_app(), but don't use it as it don't work yet
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 20 Mar 2021 21:54:34 +0000 (22:54 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 20 Mar 2021 21:54:39 +0000 (22:54 +0100)
commit3f1310c945ff4a77280121cd1eca8d2d019c2091
tree474ab5deedab4d165f79af461a59400d80f2a706
parent69d07b3fd835ba405fb87d05f06937053afd9ec1
Add ModelChecker::finalize_app(), but don't use it as it don't work yet
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/mc_protocol.h
src/simix/smx_global.cpp