Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Destroy dead actors after mc::replay() is completed (fix memory leak).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 6 Jun 2021 20:40:42 +0000 (22:40 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 6 Jun 2021 20:43:46 +0000 (22:43 +0200)
commitc1d27fec78a4bbf0aba87af91a3b0dcc54ddd442
tree6c7ffdb6af45a7c0801ce9d73fd39977b6d70232
parent30b3c775fe9258b3589999070db57a618a614538
Destroy dead actors after mc::replay() is completed (fix memory leak).
src/kernel/EngineImpl.cpp