Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : tests for snapshot comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 29 Jun 2012 13:18:05 +0000 (15:18 +0200)
commit4334de1a3cf1c1b19c78fe059b6481a1e53b96c8
treec13da6a8e38f5eddd4d264e04701848af037c0ba
parenta17be3713cc19ed52774e3a7a5951631e2b345eb
model-checker : tests for snapshot comparison
buildtools/Cmake/DefinePackages.cmake
examples/msg/mc/CMakeLists.txt
examples/msg/mc/test/compare_snapshot.c [new file with mode: 0644]
src/include/mc/mc.h
src/mc/test/compare_snapshot.c [new file with mode: 0644]