Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move handle_simcall from ModelChecker to RemoteApp
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 17 Mar 2023 21:13:40 +0000 (22:13 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 17 Mar 2023 21:43:13 +0000 (22:43 +0100)
commitb84ee33b90701d14bed35a4119b3a70827177dca
treec2f5341eca9746de47430003e46762e54ffcb10e
parent9af215169f10192d2238373e9365e3e9f568da55
Move handle_simcall 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