Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: disable personality() as it fails on CI and is not mandatory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 22:06:32 +0000 (23:06 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 22:06:32 +0000 (23:06 +0100)
commitf242db7697124c32d3dc646961e4aac666239854
treefb44131f63f7a4cc12a8599ee7a79e9a60999b4d
parentb2a9ee8e090af818cca9e72cd0e44fa1b91586b0
MC: disable personality() as it fails on CI and is not mandatory
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/remote/CheckerSide.cpp