Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: simplify initialization and kill api::set_checker()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 13 Mar 2021 23:08:09 +0000 (00:08 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 13 Mar 2021 23:08:09 +0000 (00:08 +0100)
commite9198879b07a40f01d00fc80eed78cebb328a2bd
tree33c8ea9a06433a062a763b79b1d5c6d44db68aca
parent1865e94dfee342781e137d9e7e2aa1e423ac0169
MC: simplify initialization and kill api::set_checker()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/Checker.hpp
src/mc/checker/simgrid_mc.cpp