Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the automaton from mc::api to Liveness. An ugly trick is needed :(
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 3 Aug 2022 23:47:04 +0000 (01:47 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 3 Aug 2022 23:47:10 +0000 (01:47 +0200)
commit345fcae28e91f3e15ad223312fc74ad585606f34
tree86ccf2caca8925ea345ef1d9826b8fe76d465f50
parent3690ed44d179e57962bb0f4e377057314cd79455
Move the automaton from mc::api to Liveness. An ugly trick is needed :(

See the comment in Liveness.hpp for the full details on that trick.
src/mc/ModelChecker.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/api/RemoteApp.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/explo/simgrid_mc.cpp
src/mc/mc_private.hpp