projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
action: add MODEL_FIXUP_RELSEQ action_type
[model-checker.git]
/
action.cc
diff --git
a/action.cc
b/action.cc
index b4f4e434934cfd0d68adf06ba54bd2b5ada102a0..c12165b0322a2beb4ff9c25fd33be05f1f7630f2 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-50,6
+50,11
@@
void ModelAction::set_seq_number(modelclock_t num)
seq_number = num;
}
seq_number = num;
}
+bool ModelAction::is_relseq_fixup() const
+{
+ return type == MODEL_FIXUP_RELSEQ;
+}
+
bool ModelAction::is_mutex_op() const
{
return type == ATOMIC_LOCK || type == ATOMIC_TRYLOCK || type == ATOMIC_UNLOCK;
bool ModelAction::is_mutex_op() const
{
return type == ATOMIC_LOCK || type == ATOMIC_TRYLOCK || type == ATOMIC_UNLOCK;
@@
-305,6
+310,9
@@
void ModelAction::print() const
{
const char *type_str, *mo_str;
switch (this->type) {
{
const char *type_str, *mo_str;
switch (this->type) {
+ case MODEL_FIXUP_RELSEQ:
+ type_str = "relseq fixup";
+ break;
case THREAD_CREATE:
type_str = "thread create";
break;
case THREAD_CREATE:
type_str = "thread create";
break;