Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the selection of the next transition to execute to mc::State
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 08:55:04 +0000 (09:55 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit157b17ef4d7aa7d34625418c27861f3f139010bd
tree2b77ecd4d16dc4ecc7e7594d8335f413e3680f98
parent0ad6bd059ce73f4fcad69113644b928daa520af7
Move the selection of the next transition to execute to mc::State
include/simgrid/forward.h
src/mc/Transition.cpp
src/mc/Transition.hpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp