Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Correctly disable DPOR when StateEq reduction is enabled
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Aug 2022 22:55:45 +0000 (00:55 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Aug 2022 22:57:35 +0000 (00:57 +0200)
commitd75fff3ccf9a0caf5d851cfd9dee6a2a0fe47864
tree07f4db9e80d35d17a39f752c93b87e9a4bbab967
parentc18094e6c45c983557cd301dd549b7741a014d80
Correctly disable DPOR when StateEq reduction is enabled
src/mc/mc_config.cpp