Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore simcall result in heap comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:30:28 +0000 (16:30 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:30:28 +0000 (16:30 +0100)
commit88477504b135930a51dad5af1d57194c894c091b
tree8643064bf83e1b9b5e84a59439d0e3f6aaf094f1
parent9a438aff7d4cb341293b1f06c612eadb0fed0606
model-checker : ignore simcall result in heap comparison
src/simix/smx_process.c