projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[c11tester.git]
/
action.h
diff --git
a/action.h
b/action.h
index c5ba6d7dda9f9593a315a26c3d1da336a50b5a0f..fbf566fb7a8f61497284c6ab1e826dd39b0f44e0 100644
(file)
--- a/
action.h
+++ b/
action.h
@@
-193,6
+193,9
@@
public:
Thread * thread_operand;
void set_thread_operand(Thread *th) { thread_operand = th; }
Thread * thread_operand;
void set_thread_operand(Thread *th) { thread_operand = th; }
+ void setActionRef(sllnode<ModelAction *> *ref) { action_ref = ref; }
+ sllnode<ModelAction *> * getActionRef() { return action_ref; }
+
SNAPSHOTALLOC
private:
const char * get_type_str() const;
SNAPSHOTALLOC
private:
const char * get_type_str() const;
@@
-227,6
+230,7
@@
private:
*/
ClockVector *cv;
ClockVector *rf_cv;
*/
ClockVector *cv;
ClockVector *rf_cv;
+ sllnode<ModelAction *> * action_ref;
/** @brief The value written (for write or RMW; undefined for read) */
uint64_t value;
/** @brief The value written (for write or RMW; undefined for read) */
uint64_t value;