Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove useless model-checker/model-checked round trip
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 10:04:26 +0000 (12:04 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 10:04:26 +0000 (12:04 +0200)
commitb5e771f630cc0d48cbf5da8afb43f971cfaa36b1
tree64951912f64f90e769b662c064ebb191421e7a9b
parent6911eb2e056c44491f399b63c663f4b897aaba76
[mc] Remove useless model-checker/model-checked round trip
src/mc/Client.cpp
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp