Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: cosmetics (fight the mc_model_checker singleton)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 10:45:55 +0000 (12:45 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 10:45:55 +0000 (12:45 +0200)
commita75f0026f40bb64ebf43eecd6010406e5b7bcad1
tree2359fcda634af48df720fe0004f89de083eb51ef
parentd2b42c9c0b31834a48bc489d05e4f9499b81bb72
MC: cosmetics (fight the mc_model_checker singleton)
src/mc/sosp/RegionSnapshot.cpp
src/mc/sosp/mc_snapshot.cpp