/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#ifndef MC_PRIVATE_H
-#define MC_PRIVATE_H
+#ifndef SIMGRID_MC_PRIVATE_H
+#define SIMGRID_MC_PRIVATE_H
#include <sys/types.h>
/********************************** Miscellaneous **********************************/
-typedef struct s_local_variable{
- dw_frame_t subprogram;
- unsigned long ip;
- char *name;
- dw_type_t type;
- void *address;
- int region;
-} s_local_variable_t, *local_variable_t;
-
-/* *********** Hash *********** */
-
-/** \brief Hash the current state
- * \param num_state number of states
- * \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
- * \result resulting hash
- * */
-XBT_INTERNAL uint64_t mc_hash_processes_state(int num_state, xbt_dynar_t stacks);
-
-/** @brief Dump the stacks of the application processes
- *
- * This functions is currently not used but it is quite convenient
- * to call from the debugger.
- *
- * Does not work when an application thread is running.
- */
XBT_INTERNAL void MC_dump_stacks(FILE* file);
XBT_INTERNAL void MC_report_assertion_error(void);