Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add size of stack in parameter of the function MC_new_stack_area
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:37:21 +0000 (18:37 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:37:21 +0000 (18:37 +0100)
commit6f63fc36d25e3124be815b48c53b2aaafc1224d8
tree90b3b6766fdf524a38e4e004b9122004f0c74fea
parent7e02819630f97eb2bd43ff422d156cc8a60929c5
model-checker : add size of stack in parameter of the function MC_new_stack_area
src/include/mc/mc.h
src/mc/mc_global.c
src/simix/smx_context_sysv.c