Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
another mc_model_checker call location disappears
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 08:52:48 +0000 (09:52 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 08:52:53 +0000 (09:52 +0100)
commit32b33834115ef974885e0227b9f47a1e756ee04c
tree533f515dd9ff91465fc5bd3b6f1f04266e6727f0
parentfc5d00f2ff403347938ab0a9a59222f82abfead9
another mc_model_checker call location disappears

I postponned this one a lot because it's impacting non-MC code, but at
the end it went smoothly
include/simgrid/forward.h
src/mc/api/RemoteApp.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/transition/Transition.cpp
src/mc/transition/Transition.hpp