Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-check : dump stack for acceptance cycle
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 4 May 2011 14:18:02 +0000 (16:18 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:55 +0000 (13:36 +0200)
commitb9890631bde077fb24ee6c401bba8cded1559ae5
tree48b61fc53bda90d9a71dfe348dd35f486b85907d
parent5e6bdb0664f53d8b1534cb4f907cfe8e98911d95
model-check : dump stack for acceptance cycle
src/mc/mc_dfs.c
src/mc/mc_state.c
src/mc/private.h