Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move some snapshot_compare() overload with their respective checker
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 24 Mar 2016 11:06:27 +0000 (12:06 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Mar 2016 10:58:51 +0000 (12:58 +0200)
commit7b88a171c9ec147f2c3707861364402dbc2e9da3
treea39f2cf0922d9ce8cf6c63df08c9be2d9abbc46f
parentc03ce3948319aa2853030292e8109a9227ef22c6
[mc] Move some snapshot_compare() overload with their respective checker
src/mc/SafetyChecker.cpp
src/mc/mc_compare.cpp
src/mc/mc_safety.h
src/mc/mc_state.h
src/mc/mc_visited.cpp