Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Stop copying transitions around since that would shorten the virtual methods
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 20:13:06 +0000 (21:13 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 20:13:06 +0000 (21:13 +0100)
commitd807ae338c20b6dae20c353a3bfa489aff3f755b
tree46858fd68f5e68816fe4ce1127fcb182292bc165
parent88daa2e6ede543b6db0fa37489e7ba26c2cc5ee8
Stop copying transitions around since that would shorten the virtual methods
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_record.cpp
src/mc/mc_record.hpp