Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
start reducing smells in MC code
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 22 May 2017 07:32:54 +0000 (09:32 +0200)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 22 May 2017 07:50:16 +0000 (09:50 +0200)
commitc73bbc06caa1eb2ca3965708222a1655c4c14644
tree943b22c0183b4a719d1f3673b55d32ed56ff87e4
parent03e3767659028e0c414e9e60c2cbc1430fd31010
start reducing smells in MC code
src/mc/LocationList.cpp
src/mc/ModelChecker.hpp
src/mc/Process.hpp
src/mc/RegionSnapshot.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/compare.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_hash.cpp
teshsuite/xbt/mmalloc/mmalloc_test.cpp