Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix the detection of determinism
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 15:03:09 +0000 (17:03 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 19:29:47 +0000 (21:29 +0200)
commit276b87ef25a4bce97dfec6020bc7e6d5a0ec837c
tree8e7fe1f28f6864d5a6c74a7d54442c738ceb410d
parentc94af34ad2ddf8c66a25773a7672ccaae589d410
model-checker : fix the detection of determinism
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h