Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : don't ignore simcall result in system state comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 26 Dec 2012 14:33:20 +0000 (15:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 26 Dec 2012 14:38:12 +0000 (15:38 +0100)
commite5ac33cf4580f8748f6f01c338896df9171fa4c9
tree5600bee1e06e2fcb5e3193343c57d944df88128f
parent4a4af74a30afd153306840dcc1840d1609b59b29
model-checker : don't ignore simcall result in system state comparison
src/simix/smx_process.c