Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: use exceptions to report errors, not integer return types
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 14 Jan 2017 00:30:23 +0000 (01:30 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 14 Jan 2017 00:54:17 +0000 (01:54 +0100)
commit01c96c4bc37fc4aac70e6b5fe3ff6992a9736c04
treea8f74e0f44f47ab322bfe8c2c5b9b00e9d0d6044
parentbdef81fa4e3566ce31b435deb98fea7b8fe70e6e
MC: use exceptions to report errors, not integer return types

That's C++, after all
src/mc/checker/Checker.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
src/mc/checker/simgrid_mc.cpp
src/mc/mc_exit.h