Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Avoid useless stuff when logging is disabled in SafetyChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 09:33:29 +0000 (11:33 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commite29f4cd7a94c2de60f4a32bf60dcbfff559e963a
treeb33070b10c779cbff672d1277085bc8378784307
parent8cbabb7df8c91256606fcbfdc31419e54a0bd857
[mc] Avoid useless stuff when logging is disabled in SafetyChecker
src/mc/SafetyChecker.cpp