Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: simplification: do not repeat information in parameters
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 22:18:32 +0000 (00:18 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 22:18:32 +0000 (00:18 +0200)
commit257911c6117e14fe757b77d9720cbfa88c86fa3c
treeef5ad6ba3250546ab2831e10b311c625ccea4bd5
parentb20181dac355021101b67ba77ff07f135419e00c
mc: simplification: do not repeat information in parameters
src/mc/VisitedState.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/compare.cpp
src/mc/mc_private.hpp