Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new example test_snapshot to check the functions take_snapshot/restor...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 27 Mar 2012 13:27:53 +0000 (15:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 27 Mar 2012 13:28:37 +0000 (15:28 +0200)
commit3d7e0460e10e3f84578cf9f09f428c891b97301d
treef2045da5ccd4287f2a9de4eb1a014a22c0849eec
parentae8140f19db6cb86f753e32499eab49190846d1f
model-checker : new example test_snapshot to check the functions take_snapshot/restore_snapshot
examples/msg/mc/CMakeLists.txt
examples/msg/mc/test_snapshot.c [new file with mode: 0644]
examples/msg/mc/test_snapshot.h [new file with mode: 0644]