XBT_PUBLIC(void) MC_memory_exit(void);
/********************************* Snapshot comparison test *************************************/
-void MC_test_snapshot_comparison(void);
+void MC_test_heap_comparison(void);
/* Trigger for state equality detection (check potential cycle in application) */
void MC_compare(void);