Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove split the MCed and MCer part of MC_deadlock_check()
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 13:54:40 +0000 (14:54 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 15 Mar 2016 14:09:57 +0000 (15:09 +0100)
commit56765019ed3cba9ccf83ac2a335c80988922ade7
tree33df3c474805c5bc7e3eacaa238368e8e370fc22
parent141c04f81dadce31a71ab0e11ce6c39129d06904
[mc] Remove split the MCed and MCer part of MC_deadlock_check()
src/mc/Client.cpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_global.cpp
src/mc/mc_private.h
src/mc/mc_safety.cpp