1 /* Copyright (c) 2007-2015. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
13 #include "mc_snapshot.h"
15 #ifndef SIMGRID_MC_HASH_HPP
16 #define SIMGRID_MC_HASH_HPP
18 /** \brief Hash the current state
19 * \param num_state number of states
20 * \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
21 * \result resulting hash
23 XBT_INTERNAL uint64_t mc_hash_processes_state(
24 int num_state, std::vector<s_mc_snapshot_stack_t> const& stacks);
26 /** @brief Dump the stacks of the application processes
28 * This functions is currently not used but it is quite convenient
29 * to call from the debugger.
31 * Does not work when an application thread is running.