Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : args prgm and automaton changed in global variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 1 Dec 2011 14:56:38 +0000 (15:56 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 1 Dec 2011 14:56:38 +0000 (15:56 +0100)
commitf9bc1eb9da233212a26b57efa214e1224fd03677
treec443328bb590ae62c71232d48ea43791adef5f50
parent7dba5032e5387a88a6b1c868ab0076454f08e88a
model-checker : args prgm and automaton changed in global variables
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h