Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Simplify mc::api a bit
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 4 Mar 2021 23:15:40 +0000 (00:15 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 4 Mar 2021 23:15:47 +0000 (00:15 +0100)
commitde6393e6fab9cb4e135fb13ddf97b587a3f59d65
treebe6f447f102528df94cc635c6508b8df9ce925b5
parent3a38e746156b0791e27e5d31868678212a58eb96
Simplify mc::api a bit

No need to expose a call to test whether there is a deadlock and a
call to react to deadlocks. Have the first call react by itself to
this situation.
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp