Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix exit status naming convention
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 14:36:23 +0000 (15:36 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 14:36:23 +0000 (15:36 +0100)
commit093ee3ab84a46a3a5a6673aeb1f4980a3cc50647
treed5d65f92ab2e4939afe7dbf2f129956e8c32b345
parent66a9e81ebcdd1b8226c0f390bbf09b54826d2c7f
[mc] Fix exit status naming convention
src/mc/Server.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_exit.h
src/mc/mc_liveness.cpp
src/mc/mc_safety.cpp
src/mc/simgrid_mc.cpp