Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Do not use MC_process_clock_add() for now, as it makes the exploration infinitely...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 01:53:03 +0000 (02:53 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 01:53:03 +0000 (02:53 +0100)
commitbdd17c447432a0a638682a1e301b990e401fa5f1
treeb9091a5bf2b2cf8a6f9387d9194bbbc8231884f7
parente665a7a968591345ebb4ce0ee948910b5a0e0af1
Do not use MC_process_clock_add() for now, as it makes the exploration infinitely looping
src/mc/api/RemoteApp.cpp
src/s4u/s4u_Actor.cpp
teshsuite/mc/mcmini/barber_shop_ok.c
teshsuite/mc/mcmini/barber_shop_ok.tesh