Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
move wait_for_requests() from ModelChecker to RemoteApp
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 22:31:40 +0000 (23:31 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 22:31:40 +0000 (23:31 +0100)
commit95f6f24c739bd20e274a8af9b9e998dff826986d
treec1d8d3db78881f107d22e1f24e2210ecd3ae7508
parent83a9461195f768656c7a98a898232ad0924a9ada
move wait_for_requests() from ModelChecker to RemoteApp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/api/State.cpp
src/mc/transition/Transition.cpp