Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29e064e) | patch
Use an exception on Exploration::system_exit().
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 12 Apr 2023 12:08:34 +0000 (14:08 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 12 Apr 2023 12:13:46 +0000 (14:13 +0200)
commit5add7e277a4ba8daf72d96046cdd50d94882ba67
treebd4d647238f0b9cc2f027318c3056e93014df17ctree | snapshot
parent29e064e4f1fd538a612d04c7430179e65ec82dfacommit | diff
Use an exception on Exploration::system_exit().

The goal is to use RAII to free the memory on exit, and get cleaner valgrind reports.
src/mc/explo/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/explo/Exploration.cpp diff | blob | history
src/mc/explo/Exploration.hpp diff | blob | history
src/mc/explo/simgrid_mc.cpp diff | blob | history
src/mc/mc_exit.hpp diff | blob | history
Clone of SimGrid repository with local patches