projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
towards supporting scanalysis...
[model-checker.git]
/
model.h
diff --git
a/model.h
b/model.h
index 864f6aeedcc8072c96d19b6071f95169f02be134..78e486078b4de4a805b956992ad6ab3028248263 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-29,7
+29,6
@@
struct model_snapshot_members;
/** @brief Shorthand for a list of release sequence heads */
typedef ModelVector<const ModelAction *> rel_heads_list_t;
/** @brief Shorthand for a list of release sequence heads */
typedef ModelVector<const ModelAction *> rel_heads_list_t;
-
typedef SnapList<ModelAction *> action_list_t;
/**
typedef SnapList<ModelAction *> action_list_t;
/**
@@
-143,6
+142,8
@@
public:
trace_analyses->push_back(a);
}
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 */
MEMALLOC
private:
/** The scheduler to use: tracks the running/ready Threads */