Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the MCer wait_for_requests logic outside of MC_wait_for_requests
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Nov 2015 12:42:10 +0000 (13:42 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Nov 2015 12:42:10 +0000 (13:42 +0100)
commit8e354d068c720173674d1f34e9d9605b77c15ad3
treed7d27b86df63ef260dbf17ab3f3f0f2a2eac34dd
parentde0765cca8da736799b534113602a9cb8bc32809
[mc] Move the MCer wait_for_requests logic outside of MC_wait_for_requests
src/mc/ModelChecker.hpp
src/mc/mc_base.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_safety.cpp