Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Dummy SafetyChecker class
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 21 Mar 2016 14:33:22 +0000 (15:33 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commit633e10e9d14bde1225977c96e1da28d942a21074
treeb7a8f1009dfb6997a74b08319260bac823ea7b69
parent33aec8491c4c337352f570c24f8a76298e3a319c
[mc] Dummy SafetyChecker class
src/mc/SafetyChecker.cpp [moved from src/mc/mc_safety.cpp with 97% similarity]
src/mc/SafetyChecker.hpp [new file with mode: 0644]
src/mc/mc_safety.h
src/mc/simgrid_mc.cpp
tools/cmake/DefinePackages.cmake