Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : reset args and result of simcalls in simcall_BODY macro
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Jan 2013 09:19:52 +0000 (10:19 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Jan 2013 09:20:35 +0000 (10:20 +0100)
commit4bd100c60f5ce9eb90336facb97e09e1db932ca4
treeff19471849e982063aac5b0911f9bac26de1abaf
parent9a10d9dc4c75ef2443ecf56b1ef7cb0720d061b9
model-checker : reset args and result of simcalls in simcall_BODY macro
src/mc/mc_compare.c
src/simix/smx_smurf_private.h