-uint64_t mc_hash_processes_state(int num_state, xbt_dynar_t stacks);
-
-/* *********** Snapshot *********** */
-
-#define MC_LOG_REQUEST(log, req, value) \
- if (XBT_LOG_ISENABLED(log, xbt_log_priority_debug)) { \
- char* req_str = MC_request_to_string(req, value); \
- XBT_DEBUG("Execute: %s", req_str); \
- xbt_free(req_str); \
- }