Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Pass arguments everywhere in the state comparator code
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 10 Mar 2014 12:53:28 +0000 (13:53 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 10 Mar 2014 12:53:28 +0000 (13:53 +0100)
commitd9b9d38da9e9f4cd8ee8cf4aaf3dda862f7b557f
tree72e71ffeda1caf4d6f1f66671c16b3ed3a9f8014
parentbafb4b3bcb36a267fbef93189ad839965972536b
[mc] Pass arguments everywhere in the state comparator code

A reference to the snapshot will be needed to resolve complexe
locations.
include/xbt/mmalloc.h
src/mc/mc_compare.c
src/xbt/mmalloc/mm_diff.c