Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Define and use a Transition::to_cstring()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 09:43:07 +0000 (10:43 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commitb33e05ad86fc393cecf23f75bbc70ab4e313e0a7
tree93aa05ecdf23889cfee096d054e5f4b92fa56563
parent8cb67632980ded866c69cbd6c8a354e85a10cbec
Define and use a Transition::to_cstring()
src/mc/Transition.cpp
src/mc/Transition.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.cpp