Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add name of program in arguments of function MSG_main_liveness_statel...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Nov 2011 16:14:30 +0000 (17:14 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Nov 2011 16:14:30 +0000 (17:14 +0100)
commit8449f8cd86a230453d0621072573d85c7ac611f4
tree0d4efcfab676dc48d54b6667226ed4bf800aae76
parent674e42f3c2fb237a6e690a939a909a32e6cebc98
model-checker : add name of program in arguments of function MSG_main_liveness_stateless, MC_modelcheck_liveness_stateless, MC_init_liveness_stateless, MC_ddfs_stateless_init and MC_ddfs_stateless
include/msg/msg.h
src/include/mc/mc.h
src/mc/mc_global.c
src/mc/private.h
src/msg/global.c