Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
if reductionMode_ is dpor, then it's not none. True fact
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 6 Jan 2017 17:30:02 +0000 (18:30 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 6 Jan 2017 17:30:02 +0000 (18:30 +0100)
commit2208d8bf1b1bba38aed9ede7c590db842354d6e8
tree45cd2562df3d7837877c89e735e1c7c484e31789
parent12c873f79edde566154ef53d3c3f25b6555a0435
if reductionMode_ is dpor, then it's not none. True fact
src/mc/SafetyChecker.cpp