Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:25:32 +0000 (16:25 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commit1af181ed979a4dfa517e4a5f37d7a987ee0ec337
tree60e9451743dc72ccb6b95131cd30001731939589
parentaaa2d952c3f91042dc283f8dd4de9dd41b62e3ba
[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_request.cpp
src/mc/mc_request.h
src/mc/mc_snapshot.h