/** @brief Shorthand for a list of release sequence heads */
typedef ModelVector<const ModelAction *> rel_heads_list_t;
-
typedef SnapList<ModelAction *> action_list_t;
/**
trace_analyses->push_back(a);
}
+ action_list_t * get_actions_on_obj(void * obj, thread_id_t tid);
+
MEMALLOC
private:
/** The scheduler to use: tracks the running/ready Threads */