#include "context.h"
#include "params.h"
-#include <map>
-#include <mutex>
-
/* Forward declaration */
class Node;
class NodeStack;
Thread * get_thread(thread_id_t tid) const;
Thread * get_thread(const ModelAction *act) const;
+ Thread * get_pthread(pthread_t pid);
Thread * get_current_thread() const;
void add_trace_analysis(TraceAnalysis *a) { trace_analyses.push_back(a); }
void set_inspect_plugin(TraceAnalysis *a) { inspect_plugin=a; }
MEMALLOC
- std::map<pthread_t, ModelAction*> pthread_map;
- std::map<pthread_mutex_t *, std::mutex*> mutex_map;
private:
/** Flag indicates whether to restart the model checker. */
bool restart_flag;
Thread * get_next_thread();
void reset_to_initial_state();
-
ModelAction *diverge;
ModelAction *earliest_diverge;