Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Ensure that MC session and checker are deleted.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 24 Feb 2022 10:42:33 +0000 (11:42 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 24 Feb 2022 10:54:43 +0000 (11:54 +0100)
commit6683699b87d403572f776668ac4d3ee3fc1b3e27
tree1bddf5350040cf4fb732213075b1d9cd0ec1cdf6
parentb0b8c0b3a807d3d9ec65c0ae95851e5cfc4aae0f
Ensure that MC session and checker are deleted.
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/api.cpp
src/mc/explo/simgrid_mc.cpp