Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : if frame name is empty, stop stack unwinding
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 17 Dec 2012 10:47:21 +0000 (11:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 20 Dec 2012 22:18:34 +0000 (23:18 +0100)
commit7aa52bfbfe54f5be7c01add5ee242ee4c03b7e4e
tree13bdf808a7a78854c5353ddf825a41085d1a789c
parentcf799d4b83e1fda76b512c50bb781eca63d283da
model-checker : if frame name is empty, stop stack unwinding
src/mc/mc_checkpoint.c