Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: give each state an incoming transition too
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 11:48:19 +0000 (13:48 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 13:49:14 +0000 (15:49 +0200)
commit4436a8d7307514469bb78664ea83359da0d57b4a
tree29e885a2358d74a3912d395c019c15ec50cddca4
parent4019a5b73442834da8b821922f8d5e1950a2566b
MC: give each state an incoming transition too

Using the parent's outgoing transition is not reliable anymore now
that we don't always explore the tree in order, but rather following
the exploration strategies.
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/UdporChecker.cpp
src/mc/remote/CheckerSide.cpp