Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Communicate MC_remove_ignore_heap to the remote model-checker
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 6 Feb 2015 11:58:46 +0000 (12:58 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 6 Feb 2015 12:53:10 +0000 (13:53 +0100)
commit7757612e2826fd790cbcf39d5fd8e8904747104d
tree3f77042c69c4ae8a2a89199ecb50b50f463cf8c4
parent6a1a64f72c3f699c137b1352b0a93f4b5a1c8fd6
[mc] Communicate MC_remove_ignore_heap to the remote model-checker
src/mc/mc_global.c
src/mc/mc_ignore.c
src/mc/mc_protocol.h
src/mc/mc_server.cpp